Searched defs:vmi_get_register_t (Results 1 - 1 of 1) sorted by path

/freebsd-10.0-release/sys/amd64/include/
H A Dvmm.h54 typedef int (*vmi_get_register_t)(void *vmi, int vcpu, int num, typedef

Completed in 107 milliseconds