☰
In sel4_common::sel4_config
?
Constant
sel4_common
::
sel4_config
::
PAGE_BITS
source
·
[
−
]
pub const PAGE_BITS:
usize
= seL4_PageBits; // 12usize