Searched refs:guest_es_base (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Drealmode.c230 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 Dguest.c1595 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 Drealmode.c230 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 Dguest.c1124 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 Dvmx_vmkit.c823 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