Searched refs:vmi_get_cap_t (Results 1 – 1 of 1) sorted by relevance
187 typedef int (*vmi_get_cap_t)(void *vcpui, int num, int *retval); typedef211 vmi_get_cap_t getcap;