Constant seL4_X86_IOPageTableObject 

pub const seL4_X86_IOPageTableObject: u32 = 16777215;