Symbol: HVCALL_RETARGET_INTERRUPT