Searched refs:vmi_get_register_t (Results 1 – 2 of 2) sorted by relevance
84 typedef int (*vmi_get_register_t)(void *vmi, int vcpu, int num, typedef115 vmi_get_register_t vmgetreg;
250 .vmgetreg = (vmi_get_register_t)nullop_panic,