INT64 __fastcall HalpIommuInitInterrupts(INT64 a1, INT64 a2, INT64 a3, INT64 a4){ if( !HalpHvIommu ) HalpInterruptSetIdtEntry(0xCEui64, HalpIommuInterruptRoutine, 12, a4, (UINT64 *)0xFFFFFFFFFFFFFFFFi64); return 0i64; }