Searched refs:guest_es_base (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/usr/arrakismon/ |
H A D | realmode.c | 230 uint64_t guest_es_base; local 231 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base); 232 M.x86.R_ES = guest_es_base >> 4; 318 uint64_t guest_es_base; local 319 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base); 320 if ((guest_es_base >> 4) != M.x86.R_ES) {
|
H A D | guest.c | 1595 uint64_t guest_es_sel, guest_es_base, guest_es_lim, local 1598 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base); 1621 guest_es_sel, guest_es_base, guest_es_lim, guest_es_access);
|
/barrelfish-master/usr/vmkitmon/ |
H A D | realmode.c | 230 uint64_t guest_es_base; local 231 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base); 232 M.x86.R_ES = guest_es_base >> 4; 318 uint64_t guest_es_base; local 319 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base); 320 if ((guest_es_base >> 4) != M.x86.R_ES) {
|
H A D | guest.c | 1124 uint64_t guest_es_sel, guest_es_base, guest_es_lim, local 1127 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_ES_BASE, &guest_es_base); 1150 guest_es_sel, guest_es_base, guest_es_lim, guest_es_access);
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_vmkit.c | 823 uint64_t guest_es_sel, guest_es_base, guest_es_lim, guest_es_access; local 835 err += vmread(VMX_GUEST_ES_BASE, &guest_es_base); 928 guest_es_sel, guest_es_base, guest_es_lim, guest_es_access);
|
Completed in 87 milliseconds