Searched refs:num_caches (Results 1 – 3 of 3) sorted by relevance
1202 if (tc_offsets && tc_offsets->num_caches != 0) { in load_static_trust_cache()1204 tc_offsets->num_caches); in load_static_trust_cache()1209 } else if (tc_offsets->num_caches == 0) { in load_static_trust_cache()1216 if (os_mul_overflow(tc_offsets->num_caches, sizeof(uint32_t), &offsets_length)) { in load_static_trust_cache()1217 panic("overflow on the number of trust caches provided: %u", tc_offsets->num_caches); in load_static_trust_cache()1227 printf("attempting to load %u external trust cache modules\n", tc_offsets->num_caches); in load_static_trust_cache()1229 for (uint32_t i = 0; i < tc_offsets->num_caches; i++) { in load_static_trust_cache()
68 uint32_t num_caches; member
59 static uint32_t num_caches = 0; variable109 num_caches += 1; in x86_cache_alloc()257 num_caches -= 1; in x86_cache_free()