VOID
MiInitializePfn(
  IN  PFN_NUMBER PageFrameIndex,
  IN  PMMPTE PointerPte,
  IN  ULONG ModifiedState
  );

Routine Description:

    This function initializes the specified PFN element to the
    active and valid state.

Arguments:

    PageFrameIndex - Supplies the page frame number to initialize.

    PointerPte - Supplies the pointer to the PTE which caused the
                 page fault.

    ModifiedState - Supplies the state to set the modified field in the PFN
                    element for this page, either 0 or 1.

Return Value:

    None.

Environment:

    Kernel mode, APCs disabled, PFN mutex held.