Searched refs:VMX_GUEST_CS_LIM (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/include/barrelfish_kpi/ |
H A D | vmx_encodings.h | 75 #define VMX_GUEST_CS_LIM 0x4802 // Guest CS limit macro
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_vmkit.c | 568 err += vmwrite(VMX_GUEST_CS_LIM, 0xFFFFFFFF); 626 err += vmwrite(VMX_GUEST_CS_LIM, 0xFFFF); 840 err += vmread(VMX_GUEST_CS_LIM, &guest_cs_lim);
|
H A D | vmx_checks.c | 558 err += vmread(VMX_GUEST_CS_LIM, &cs_lim);
|
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 580 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_CS_LIM, 0xffff); 1114 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CS_LIM, &guest_cs_lim);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 1585 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_CS_LIM, &guest_cs_lim);
|
Completed in 202 milliseconds