Constant seL4_TimeoutReply_X27 

pub const seL4_TimeoutReply_X27: Type = 32;