Constant seL4_X86_IOPageTableObject

pub const seL4_X86_IOPageTableObject: u32 = 16777215;