Constant FRAMES_PER_PAGE_TABLE 

pub const FRAMES_PER_PAGE_TABLE: u64 = 0x1ff;