Searched refs:vmi_get_register_t (Results 1 – 1 of 1) sorted by relevance
179 typedef int (*vmi_get_register_t)(void *vcpui, int num, uint64_t *retval); typedef202 vmi_get_register_t getreg;