Type Alias seL4_X86_PDPT 

pub type seL4_X86_PDPT = seL4_CPtr;