Searched refs:vmi_set_cap_t (Results 1 – 1 of 1) sorted by relevance
188 typedef int (*vmi_set_cap_t)(void *vcpui, int num, int val); typedef212 vmi_set_cap_t setcap;