Constant microvmi::api::PAGE_SHIFT[][src]

pub const PAGE_SHIFT: u32 = 12;