Searched refs:cr4_pke (Results 1 – 2 of 2) sorted by relevance
296 unsigned int cr4_pke:1; member
4461 ext.cr4_pke = !!kvm_read_cr4_bits(vcpu, X86_CR4_PKE); in kvm_calc_mmu_role_ext()