Constant K_SYSCALL_TEE_INVOKE_FUNC

pub const K_SYSCALL_TEE_INVOKE_FUNC: u32 = 515;