Constant K_SYSCALL_TEE_SUPPL_SEND 

pub const K_SYSCALL_TEE_SUPPL_SEND: u32 = 589;