VOID __stdcall HvlSvmDetachPasidSpace(UINT64 *a1, _KLOCK_QUEUE_HANDLE *a2, INT64 a3, INT64 a4, INT64 a5, UINT8 a6){
unsigned int v6;
UINT16 v7;
__int64 v8[3];
v6 = (unsigned int)a1;
v8[0] = (unsigned int)a1;
v7 = HvcallFastExtended(65699i64, v8, 8u, 0i64, 0);
HvlpHvToNtStatus(v7);
if( (HvlpFlags & 2) != 0 )
HvlpDetachRootSvmDevice(v6);
}