Searched refs:VMCS_GUEST_CR3 (Results 1 – 2 of 2) sorted by relevance
89 #define vmcs_guest_cr3() vmcs_read(VMCS_GUEST_CR3)245 #define VMCS_GUEST_CR3 0x00006802 macro
86 return (VMCS_GUEST_CR3); in vmcs_field_encoding()