Home
last modified time | relevance | path

Searched refs:X86_CR4_PKE (Results 1 – 6 of 6) sorted by relevance

/xen/xen/include/asm-x86/
A Dx86-defns.h75 #define X86_CR4_PKE 0x00400000 /* enable PKE */ macro
A Dprocessor.h380 write_cr4(cr4 | X86_CR4_PKE); in read_pkru()
/xen/xen/include/asm-x86/hvm/
A Dhvm.h373 (hvm_paging_enabled(v) && ((v)->arch.hvm.guest_cr[4] & X86_CR4_PKE))
/xen/xen/arch/x86/
A Dcpuid.c996 : v->arch.hvm.guest_cr[4]) & X86_CR4_PKE ) in guest_cpuid()
/xen/xen/arch/x86/hvm/
A Dhvm.c1001 (p->feat.pku ? X86_CR4_PKE : 0)); in hvm_cr4_guest_valid_bits()
2493 if ( (value & X86_CR4_PKE) && !(v->arch.xcr0_accum & X86_XCR0_PKRU) ) in hvm_set_cr4()
/xen/xen/arch/x86/hvm/vmx/
A Dvmx.c1539 (HVM_CR4_HOST_MASK | X86_CR4_PKE | in vmx_update_guest_cr()

Completed in 30 milliseconds