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_fpm_page_number
is_fpm_page_number
procedure · 1 overload
Source
is_fpm_page_number
:: (fpm:
Free_Page_Map
, pn: UPN) ->
bool
Parameters
fpm
:
Free_Page_Map
pn
:
UPN
Returns
bool
See also
alloc_page
free_page