Type Alias seL4_X86_IOPageTable 

pub type seL4_X86_IOPageTable = seL4_CPtr;