Constant seL4_TimeoutReply_X27

pub const seL4_TimeoutReply_X27: Type = 32;