Symbol: vmx_call_isr