Searched refs:VMX_GUEST_DS_ACCESS (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmx_checks.c | 195 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
245 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
325 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
413 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
428 err += vmread(VMX_GUEST_DS_ACCESS, &es_access_rights);
491 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
587 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
711 err += vmread(VMX_GUEST_DS_ACCESS, &ds_access_rights);
|
| H A D | vmx_vmkit.c | 580 err += vmwrite(VMX_GUEST_DS_ACCESS, 0xC093);
638 err += vmwrite(VMX_GUEST_DS_ACCESS, 0x93);
849 err += vmread(VMX_GUEST_DS_ACCESS, &guest_ds_access);
|
| /barrelfish-master/include/barrelfish_kpi/ |
| H A D | vmx_encodings.h | 87 #define VMX_GUEST_DS_ACCESS 0x481A // Guest DS access rights macro
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.c | 1122 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_ACCESS, &guest_ds_access);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 1593 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_ACCESS, &guest_ds_access);
|
Completed in 107 milliseconds