Searched refs:VMCS_GUEST_CR3 (Results 1 – 3 of 3) sorted by relevance
62 return (VMCS_GUEST_CR3); in vmcs_field_encoding()
209 #define VMCS_GUEST_CR3 0x00006802 macro
1819 paging->cr3 = vmcs_read(VMCS_GUEST_CR3); in vmx_paging_info()3199 case VMCS_GUEST_CR3: in vmx_setreg()