Searched refs:VMX_GUEST_SS_ACCESS (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_checks.c | 194 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights); 237 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights); 317 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights); 385 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights); 483 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights); 570 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights); 701 err += vmread(VMX_GUEST_SS_ACCESS, &ss_access_rights);
|
H A D | vmx_vmkit.c | 584 err += vmwrite(VMX_GUEST_SS_ACCESS, 0xC093); 642 err += vmwrite(VMX_GUEST_SS_ACCESS, 0x93); 845 err += vmread(VMX_GUEST_SS_ACCESS, &guest_ss_access);
|
/barrelfish-master/include/barrelfish_kpi/ |
H A D | vmx_encodings.h | 86 #define VMX_GUEST_SS_ACCESS 0x4818 // Guest SS access rights macro
|
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 1136 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SS_ACCESS, &guest_ss_access);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 1607 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SS_ACCESS, &guest_ss_access);
|
Completed in 99 milliseconds