Home
last modified time | relevance | path

Searched defs:cr4_guest_owned_bits (Results 1 – 2 of 2) sorted by relevance

/Linux-v5.4/arch/x86/kvm/vmx/
Dvmx.c2871 ulong cr4_guest_owned_bits = vcpu->arch.cr4_guest_owned_bits; in vmx_decache_cr4_guest_bits() local
/Linux-v5.4/arch/x86/include/asm/
Dkvm_host.h551 unsigned long cr4_guest_owned_bits; member