NTSTATUS __fastcall HvlUnregisterDeviceId(unsigned __int64 a1){
UINT16 v2;
__int64 v3[3];
if( a1 > 0x3FFFFFFFFFFFFFFFi64 )
return -1073741811;
v3[0] = -1i64;
v3[1] = a1;
v2 = HvcallFastExtended(65667i64, v3, 0x10u, 0i64, 0);
return HvlpHvToNtStatus(v2);
}