Searched refs:guest_get_di (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h374 guest_get_di (struct guest *g) function
H A Dguest.c1549 guest_get_di(g);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h431 guest_get_di (struct guest *g) function
H A Dguest.c1911 guest_get_di(g);
1915 es_guest_base + guest_get_di(g);

Completed in 53 milliseconds