VOID
MiUpdateImageHeaderPage(
  IN  PMMPTE PointerPte,
  IN  PFN_NUMBER PageFrameNumber,
  IN  PCONTROL_AREA ControlArea
  );

Routine Description:

    This non-pagable function acquires the PFN lock, and
    turns the specified prototype PTE into a transition PTE
    referring to the specified physical page.  It then
    decrements the reference count causing the page to
    be placed on the standby or modified list.

Arguments:

    PointerPte - Supplies the PTE to set into the transition state.

    PageFrameNumber - Supplies the physical page.

    ControlArea - Supplies the control area for the prototype PTEs.

Return Value:

    None.