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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h196 guest_set_ebx (struct guest *g, uint32_t val) { function
H A Dguest.c1567 guest_set_ebx(g, 1);
1579 guest_set_ebx(g, 0);
2025 guest_set_ebx(g, ebx);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h253 guest_set_ebx (struct guest *g, uint32_t val) { function
H A Dguest.c1933 guest_set_ebx(g, 1);
1945 guest_set_ebx(g, 0);
2575 guest_set_ebx(g, ebx);

Completed in 89 milliseconds