Searched refs:vmi_set_register_t (Results 1 – 1 of 1) sorted by relevance
182 typedef int (*vmi_set_register_t)(void *vcpui, int num, uint64_t val); typedef205 vmi_set_register_t setreg;