Searched refs:guest_ia32_pat (Results 1 – 6 of 6) sorted by relevance
56 u64 guest_ia32_pat; member240 CHECK_OFFSET(guest_ia32_pat, 192); in vmx_check_vmcs12_offsets()
58 FIELD64(GUEST_IA32_PAT, guest_ia32_pat),
73 EVMCS1_FIELD(GUEST_IA32_PAT, guest_ia32_pat,
122 u64 guest_ia32_pat; member367 *value = current_evmcs->guest_ia32_pat; in evmcs_vmread()794 current_evmcs->guest_ia32_pat = value; in evmcs_vmwrite()
529 u64 guest_ia32_pat; member
108 u64 guest_ia32_pat;