INT64 __fastcall IvtAttachDeviceDomain(INT64 a1, INT64 a2, INT64 *a3){ return IvtAttachDeviceDomainInternal(a1, a2, a3); }