Symbol: vmx_get_interrupt_shadow