FrameManager$index function <nucleus/kernel.h>

The FrameManager$index function obtains the page frame number associated with a physical address.

Syntax

pfn_t
FrameManager$index(
	page_t address
);

Parameters

The physical address of the target frame.

Return value

The page frame number of the target frame.