Skip to main content

page_size

ostd::mm

Function page_size 

Source 
pub exec fn page_size(level: PagingLevel) -> ret : usize
Expand description
requires
1 <= level <= NR_LEVELS + 1,
ensures
ret == page_size_spec(level),
is_pow2(ret as int),
ret >= PAGE_SIZE,

The page size at a given level.