Constant K_SYSCALL_TEE_GET_VERSION

Source
pub const K_SYSCALL_TEE_GET_VERSION: u32 = 528; // 528u32