Constant seL4_IllegalOperation 

pub const seL4_IllegalOperation: Type = 3;