Constant SYSTEM_PAGE_PRIORITY_BITS 

pub const SYSTEM_PAGE_PRIORITY_BITS: u32 = 3u32;