Searched defs:guest_ds_base (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Drealmode.c226 uint64_t guest_ds_base; local
313 uint64_t guest_ds_base; local
H A Dguest.c1588 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim, local
[all...]
/barrelfish-master/usr/vmkitmon/
H A Drealmode.c226 uint64_t guest_ds_base; local
313 uint64_t guest_ds_base; local
H A Dguest.c1117 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim, local
[all...]
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c826 uint64_t guest_ds_sel, guest_ds_base, guest_ds_lim, guest_ds_access; local

Completed in 49 milliseconds