Searched refs:vmi_get_register_t (Results 1 – 1 of 1) sorted by relevance
172 typedef int (*vmi_get_register_t)(void *vmi, int vcpu, int num, typedef199 vmi_get_register_t getreg;