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

/barrelfish-master/usr/arrakismon/
H A Dguest.h529 void guest_handle_vmexit (struct guest *g);
H A Dguest.c644 guest_handle_vmexit(g);
1351 guest_handle_vmexit(g);
3312 guest_handle_vmexit (struct guest *g) { function
/barrelfish-master/usr/vmkitmon/
H A Dguest.h516 void guest_handle_vmexit (struct guest *g);
H A Dguest.c478 guest_handle_vmexit(g);
884 guest_handle_vmexit(g);
2956 guest_handle_vmexit (struct guest *g) { function
2958 //printf("guest_handle_vmexit\n");

Completed in 52 milliseconds