Searched refs:GUEST_IA32_PAT (Results 1 – 2 of 2) sorted by relevance
131 GUEST_IA32_PAT = 0x00002804, enumerator
1270 vmcs_write64(GUEST_IA32_PAT, data); in vmx_set_msr()2719 vmcs_write64(GUEST_IA32_PAT, host_pat); in vmx_vcpu_setup()