Searched refs:X86_CR4_PKE (Results 1 – 5 of 5) sorted by relevance
67 #define X86_CR4_PKE 0x00400000 /* enable PKE */ macro
348 write_cr4(cr4 | X86_CR4_PKE); in read_pkru()
302 (hvm_paging_enabled(v) && ((v)->arch.hvm_vcpu.guest_cr[4] & X86_CR4_PKE))
846 : v->arch.hvm_vcpu.guest_cr[4]) & X86_CR4_PKE ) in guest_cpuid()
963 (p->feat.pku ? X86_CR4_PKE : 0)); in hvm_cr4_guest_valid_bits()2421 if ( (value & X86_CR4_PKE) && !(v->arch.xcr0_accum & XSTATE_PKRU) ) in hvm_set_cr4()
Completed in 17 milliseconds