Constant seL4_TimeoutReply_X6 

pub const seL4_TimeoutReply_X6: Type = 9;