Constant K_SYSCALL_TEE_INVOKE_FUNC 

pub const K_SYSCALL_TEE_INVOKE_FUNC: u32 = 582;