KeDebugWriteEnclaveMemory

INT64 __stdcall KeDebugWriteEnclaveMemory(
        VOID *EnclaveAddress,
        VOID *VirtualAddress,
        UINT64 NumberOfBytes,
        UINT64 *BytesTransferred){
  *BytesTransferred = 0i64;
  if( (KeFeatureBits & 0x10000000000i64) == 0 )
    return 3221225659i64;
  while( NumberOfBytes )
  {
    KiEncls(5ui64);
    EnclaveAddress = (char *)EnclaveAddress + 8;
    VirtualAddress = (char *)VirtualAddress + 8;
    NumberOfBytes -= 8i64;
    *BytesTransferred += 8i64;
  }
  return 0i64;
}

Referenced by:

MiDbgReadWriteEnclave
MiDbgReadWriteEnclaveUnaligned