Symbol: vmcs_setany
sys/amd64/vmm/intel/vmcs.c
542
ret = vmcs_setany(vmcs, running, ident, val);
sys/amd64/vmm/intel/vmcs.h
61
int vmcs_setany(struct vmcs *vmcs, int running, int ident, uint64_t val);