VOID
MiProtectImageFileFor4kPage(
  IN  PVOID Base,
  IN  SIZE_T Size,
  IN  PMMPTE PointerPte,
  IN  PEPROCESS Process
  );

Routine Description:

    This function releases a region of pages within the virtual address
    space of a subject process.

Arguments:


   StartVirtual - the start address of the region of pages
        to be released.

   EndVirtual - the end address of the region of pages 
        to be released.

    Process - Supplies a pointer to the process in which to release a 
            region of pages.

Return Value:

    None