Constant K_SYSCALL_TEE_SUPPL_RECV

pub const K_SYSCALL_TEE_SUPPL_RECV: u32 = 521;