Searched refs:tc_offsets (Results 1 – 1 of 1) sorted by relevance
1028 trust_cache_offsets_t *tc_offsets = NULL; in load_static_trust_cache() local1059 tc_offsets = (void*)phystokv(tc_range->paddr); in load_static_trust_cache()1065 if (tc_offsets && tc_offsets->num_caches != 0) { in load_static_trust_cache()1067 tc_offsets->num_caches); in load_static_trust_cache()1072 } else if (tc_offsets->num_caches == 0) { in load_static_trust_cache()1079 if (os_mul_overflow(tc_offsets->num_caches, sizeof(uint32_t), &offsets_length)) { in load_static_trust_cache()1080 panic("overflow on the number of trust caches provided: %u", tc_offsets->num_caches); in load_static_trust_cache()1088 const uintptr_t tc_region_end = (uintptr_t)tc_offsets + tc_segment_length; in load_static_trust_cache()1090 printf("attempting to load %u external trust cache modules\n", tc_offsets->num_caches); in load_static_trust_cache()1092 for (uint32_t i = 0; i < tc_offsets->num_caches; i++) { in load_static_trust_cache()[all …]