jacket
Search the docs
/
API
Tools
Playground
0.31.0
Debug_Info module
← Debug_Info
MSF page bits
init
ensure_room
set_all
is_free_page
alloc_page
free_page
is_fpm_page_number
On this page
See also
std
/
Debug_Info
/
free_page
free_page
procedure · 1 overload
Source
free_page
:: (fpm: *
Free_Page_Map
, page_number: UPN)
Parameters
fpm
:
*
Free_Page_Map
page_number
:
UPN
See also
is_free_page
alloc_page
is_fpm_page_number