Searched refs:vmi_get_cap_t (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/sys/amd64/include/ | ||
| H A D | vmm.h | 153 typedef int (*vmi_get_cap_t)(void *vmi, int vcpu, int num, int *retval); typedef 172 vmi_get_cap_t vmgetcap; |
Completed in 57 milliseconds