Constant K_SYSCALL_TEE_CANCEL 

pub const K_SYSCALL_TEE_CANCEL: u32 = 579;