NTSTATUS __stdcall IvtAttachDeviceDomain(INT64 a1, INT64 a2, INT64 *a3){ return IvtAttachDeviceDomainInternal(a1, a2, (int *)a3); }