Constant seL4_CapASIDControl 

pub const seL4_CapASIDControl: Type = 5;