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