Searched refs:VMX_GUEST_ES_LIM (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h74 #define VMX_GUEST_ES_LIM 0x4800 // Guest ES limit macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c570 err += vmwrite(VMX_GUEST_ES_LIM, 0xFFFFFFFF);
628 err += vmwrite(VMX_GUEST_ES_LIM, 0xFFFF);
836 err += vmread(VMX_GUEST_ES_LIM, &guest_es_lim);
H A Dvmx_checks.c608 err += vmread(VMX_GUEST_ES_LIM, &es_lim);
/barrelfish-master/usr/vmkitmon/
H A Dguest.c1128 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_LIM, &guest_es_lim);
/barrelfish-master/usr/arrakismon/
H A Dguest.c1599 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_LIM, &guest_es_lim);

Completed in 102 milliseconds