Searched refs:xlat_use_count (Results 1 – 1 of 1) sorted by relevance
172 static uint16_t xlat_use_count[CONFIG_MAX_XLAT_TABLES]; variable181 if (xlat_use_count[i] == 0) { in new_table()182 xlat_use_count[i] = 1; in new_table()205 __ASSERT(xlat_use_count[i] == 1, "table still in use"); in free_table()206 xlat_use_count[i] = 0; in free_table()214 xlat_use_count[i] += adjustment; in table_usage()215 __ASSERT(xlat_use_count[i] > 0, "usage count underflow"); in table_usage()216 return xlat_use_count[i]; in table_usage()
