Constant K_SYSCALL_TEE_SUPPL_RECV

Source
pub const K_SYSCALL_TEE_SUPPL_RECV: u32 = 535; // 535u32