Symbol: vmx_call_isr
sys/amd64/vmm/intel/vmx.c
1020
vmx_call_isr(func);
sys/amd64/vmm/intel/vmx.h
171
void vmx_call_isr(uintptr_t entry);