Constant K_SYSCALL_TEE_CANCEL

pub const K_SYSCALL_TEE_CANCEL: u32 = 512;