Constant microvmi::api::PAGE_SHIFT

source ·
pub const PAGE_SHIFT: u32 = 12;