static uint32_t get_cache_attrs(struct tee_tz *ptee) { if (tee_shm_pool_is_cached(ptee->shm_pool)) return TEESMC_ATTR_CACHE_DEFAULT << TEESMC_ATTR_CACHE_SHIFT; else return TEESMC_ATTR_CACHE_NONCACHE << TEESMC_ATTR_CACHE_SHIFT; }
static uint32_t get_cache_attrs(void) { if (tee_shm_pool_is_cached(TZop.Allocator)) return TEESMC_ATTR_CACHE_DEFAULT << TEESMC_ATTR_CACHE_SHIFT; else return 0; }