Searched refs:vmi_get_msr_t (Results 1 – 2 of 2) sorted by relevance
100 typedef int (*vmi_get_msr_t)(void *vmi, int vcpu, uint32_t msr, typedef128 vmi_get_msr_t vmgetmsr;
261 .vmgetmsr = (vmi_get_msr_t)nullop_panic,