FrameManager$push function <nucleus/kernel.h>

The FrameManager$push function pushes a frame descriptor to the start of a frame list.

Syntax

void
FrameManager$push(
	enum FrameState list,
	pfn_t frame
);

Parameters

The index of the list to which the frame should be pushed. This cannot be FRAME_USED.

The page frame number of the frame to be pushed.