VOID **__fastcall HalpUpdateIrtDestinationId(INT64 a1, INT64 a2, INT64 a3, INT64 a4){ return HalpIommuUpdateRemappingDestination(a1, a2, a3, a4); }