PVOID
MiGetKSegAddress(
      PFN_NUMBER FrameNumber
  );

Routine Description:

    This function returns the KSEG3 address which maps the given physical page.

Arguments:

   FrameNumber - Supplies the physical page number to get the KSEG3 address for 

Return Value:

    Virtual address mapped in KSEG3 space

    TBS