Searched defs:vmi_get_cap_t (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/sys/amd64/include/
H A Dvmm.h143 typedef int (*vmi_get_cap_t)(void *vmi, int vcpu, int num, int *retval); typedef

Completed in 39 milliseconds