Constant K_SYSCALL_TEE_GET_VERSION

pub const K_SYSCALL_TEE_GET_VERSION: u32 = 514;