HvlSvmDetachPasidSpace

INT64 __fastcall HvlSvmDetachPasidSpace(UINT64 a1){
  unsigned int v1; 
  UINT16 v2; 
  NTSTATUS v3; 
  NTSTATUS v4; 
  UINT64 v6; 
  __int64 v7[3]; 
  LODWORD(v6) = 0;
  v1 = a1;
  v7[0] = (unsigned int)a1;
  v2 = HvcallFastExtended(65699i64, v7, 8ui64, 0i64, v6);
  v3 = HvlpHvToNtStatus(v2);
  if( (HvlpFlags & 2) != 0 )
  {
    v4 = HvlpDetachRootSvmDevice(v1);
    if( v3 >= 0 && v4 < 0 )
      return(unsigned int)v4;
  }
  return(unsigned int)v3;
}

Referenced by: