Searched refs:vmi_set_register_t (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.0-release/sys/amd64/include/ | ||
| H A D | vmm.h | 56 typedef int (*vmi_set_register_t)(void *vmi, int vcpu, int num, typedef 78 vmi_set_register_t vmsetreg; |
Completed in 115 milliseconds