NTSTATUS __stdcall WdHwDestroyHardwareRegister(INT64 a1){
NTSTATUS result;
if( !*(_BYTE *)(a1 + 8) )
HalpUnmapVirtualAddress(*(PVOID *)(a1 + 16), ((unsigned int)*(unsigned __int8 *)(a1 + 9) + 4095) >> 12, 0);
result = 0;
*(_OWORD *)a1 = 0i64;
*(_OWORD *)(a1 + 16) = 0i64;
*(_QWORD *)(a1 + 32) = 0i64;
return result;
}