Constant seL4_ARM_PageDirectoryObject 

pub const seL4_ARM_PageDirectoryObject: Type = 5;