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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h226 #define VMX_HOST_GS_BASE 0x6C08 // Host GS base macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c499 err += vmwrite(VMX_HOST_GS_BASE, 0x0);

Completed in 85 milliseconds