page_discard
page_discard
The kernel uses this function to request a manager to remove pages from a from
pageset.
Signature
Status page_discard(
Token pageset_id,
int no_pages )
Arguments
- pageset_id - indicates the page set from which pages should be
removed
- no_pages - indicates the number of pages to remove.
Semantics
This function is a manager interface function. It is used by the kernel to
instruct a manager to remove some pages from a
page
set it is managing.
Status
Notes
Warnings
See Also
manager
page
set