Searched refs:VMX_GUEST_VMCS_LPTR_F (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h152 #define VMX_GUEST_VMCS_LPTR_F 0x2800 // VMCS link pointer (full) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c556 err += vmwrite(VMX_GUEST_VMCS_LPTR_F, ~0x0);

Completed in 86 milliseconds