Constant SYSTEM_PAGE_PRIORITY_BITS

pub const SYSTEM_PAGE_PRIORITY_BITS: u32 = 3u32;