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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h191 guest_get_ebx (struct guest *g) { function
H A Dguest.c1542 if (guest_get_ebx(g) > 1 || guest_get_ecx(g) < 20) {
1556 switch (guest_get_ebx(g)) {
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h248 guest_get_ebx (struct guest *g) { function
H A Dguest.c1899 if (guest_get_ebx(g) > 1 || guest_get_ecx(g) < 20) {
1922 switch (guest_get_ebx(g)) {
2711 printf("Guest EBX: 0x%x\n", guest_get_ebx(g));

Completed in 55 milliseconds