Constant Paging_32Bit 

pub const Paging_32Bit: PAGING_MODE;