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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h24 #define VMX_GUEST_SS_SEL 0x804 // Guest SS selector macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c589 err += vmwrite(VMX_GUEST_SS_SEL, 0x10);
651 err += vmwrite(VMX_GUEST_SS_SEL, 0x0);
842 err += vmread(VMX_GUEST_SS_SEL, &guest_ss_sel);
H A Dvmx_checks.c152 err += vmread(VMX_GUEST_SS_SEL, &ss_sel);
399 err += vmread(VMX_GUEST_SS_SEL, &ss_sel);
/barrelfish-master/usr/vmkitmon/
H A Dguest.c1133 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SS_SEL, &guest_ss_sel);
/barrelfish-master/usr/arrakismon/
H A Dguest.c1604 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SS_SEL, &guest_ss_sel);

Completed in 99 milliseconds