Constant seL4_UnknownSyscall_R7 

pub const seL4_UnknownSyscall_R7: Type = 7;