HvlpDetachRootSvmDevice

NTSTATUS __fastcall HvlpDetachRootSvmDevice(unsigned int a1){
  UINT16 v1; 
  _QWORD v3[3]; 

  v3[0] = -1i64;
  v3[1] = a1 | 0x4000000000000000i64;
  v1 = HvcallFastExtended(65667i64, v3, 0x10u, 0i64, 0);
  return HvlpHvToNtStatus(v1);
}

Referenced by:

HvlSvmAttachPasidSpace
HvlSvmDetachPasidSpace