Type Alias seL4_X86_PageDirectory 

pub type seL4_X86_PageDirectory = seL4_CPtr;