Type Alias seL4_X64_PML4 

pub type seL4_X64_PML4 = seL4_CPtr;