Constant K_SYSCALL_TEE_SUPPL_SEND

pub const K_SYSCALL_TEE_SUPPL_SEND: u32 = 522;