// ntddk.h

VOID MmFreeNonCachedMemory(
  [in] PVOID  BaseAddress,
  [in] SIZE_T NumberOfBytes
);
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Windows Driver Kit DDI reference (nf-ntddk-mmfreenoncachedmemory)

The MmFreeNonCachedMemory routine releases a range of noncached memory that was allocated by the MmAllocateNonCachedMemory routine.

Pointer to the virtual address of the memory to be freed.

Specifies the size of the range to be freed. This value must match the size passed in a preceding call to MmAllocateNonCachedMemory.

The MmFreeNonCachedMemory routine performs the opposite action of MmAllocateNonCachedMemory.