INT64 __fastcall HalpIommuSetupMessageInterruptRouting(INT64 a1, INT64 a2){
LOBYTE(a2) = 1;
return(*(__int64(__fastcall **)(_QWORD, INT64, _QWORD, _QWORD))(a1 + 264))(
*(_QWORD *)(a1 + 16),
a2,
*(_QWORD *)(a1 + 480),
*(unsigned int *)(a1 + 488));
}