Symbol: vmcs_getany
sys/amd64/vmm/intel/vmcs.c
534
ret = vmcs_getany(vmcs, running, ident, &val);
sys/amd64/vmm/intel/vmcs.h
60
int vmcs_getany(struct vmcs *vmcs, int running, int ident, uint64_t *val);