Symbol: HVCALL_MAP_DEVICE_INTERRUPT