Searched refs:guest_ds_lim (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | vmx_vmkit.c | 826 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access; local
848 err += vmread(VMX_GUEST_DS_LIM, &guest_ds_lim);
934 guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access);
|
| /barrelfish-master/usr/vmkitmon/ |
| H A D | guest.c | 1117 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim, local
1121 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_LIM, &guest_ds_lim);
1148 guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access);
|
| /barrelfish-master/usr/arrakismon/ |
| H A D | guest.c | 1588 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim, local
1592 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_LIM, &guest_ds_lim);
1619 guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access);
|
Completed in 75 milliseconds