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

/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h322 guest_get_edx (struct guest *g) { function
H A Dguest.c1540 guest_get_edx(g) == 0x534d4150) {
1892 val = ((uint64_t)guest_get_edx(g) << 32) | guest_get_eax(g);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.h379 guest_get_edx (struct guest *g) { function
H A Dguest.c1897 guest_get_edx(g) == 0x534d4150) {
2326 val = ((uint64_t)guest_get_edx(g) << 32) | guest_get_eax(g);
2714 printf("Guest EDX: 0x%x\n", guest_get_edx(g));

Completed in 61 milliseconds