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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h197 #define VMX_GL_ADDR 0x640A // Guest-linear address macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c882 err += vmread(VMX_GL_ADDR, &gladdr);

Completed in 93 milliseconds