HvlpDetachRootSvmDevice

NTSTATUS __fastcall HvlpDetachRootSvmDevice(UINT64 a1){
  UINT16 v1; 
  UINT64 v3; 
  _QWORD v4[3]; 
  v4[0] = -1i64;
  LODWORD(v3) = 0;
  v4[1] = (unsigned int)a1 | 0x4000000000000000i64;
  v1 = HvcallFastExtended(65667i64, v4, 0x10ui64, 0i64, v3);
  return HvlpHvToNtStatus(v1);
}

Referenced by:

HvlSvmAttachPasidSpace
HvlSvmDetachPasidSpace