Jacket
Search the docs
/
API
Tools
Playground
main
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
/
set_all
set_all
procedure
Source
set_all
:: (fpm: *
Free_Page_Map
)
Parameters
fpm
:
*
Free_Page_Map
See also
init
ensure_room
is_free_page
alloc_page
Jacket
Jacket