MiTerminateHardwareEnclave

NTSTATUS __stdcall MiTerminateHardwareEnclave(INT64 a1, INT64 a2){
  __int64 v3; 
  _MMPTE *PteAddress; 
  INT64 v5; 
  UINT64 v6; 
  INT64 v7; 
  NTSTATUS result; 
  INT64 v9; 

  MiGetPteAddress((VOID *)(((*(unsigned int *)(a2 + 28) | ((unsigned __int64)*(unsigned __int8 *)(a2 + 33) << 32)) << 12) | 0xFFF));
  PteAddress = MiGetPteAddress((VOID *)((*(unsigned int *)(v3 + 24) | ((unsigned __int64)*(unsigned __int8 *)(v3 + 32) << 32)) << 12));
  LODWORD(v9) = 1;
  result = MiDecommitHardwareEnclavePages(v7, v5, (INT64)PteAddress, v6, v9);
  *(_DWORD *)(a2 + 64) |= 8u;
  return result;
}

Referenced by: