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
/
is_free_page
is_free_page
procedure · 1 overload
Source
is_free_page
:: (fpm:
Free_Page_Map
, page_number: UPN) ->
bool
Parameters
fpm
:
Free_Page_Map
page_number
:
UPN
Returns
bool
See also
ensure_room
set_all
alloc_page
free_page