Searched refs:l1_idx_t (Results 1 – 1 of 1) sorted by relevance
231 typedef uint8_t l1_idx_t; typedef233 typedef uint16_t l1_idx_t; typedef290 static l1_idx_t user_l1_table_idx[NUM_BASE_TABLES * CFG_TEE_CORE_NB_CORE];345 l1_idx_t *user_l1_table_idx;583 sizeof(l1_idx_t)); in core_alloc_mmu_prtn()976 COMPILE_TIME_ASSERT(MAX_XLAT_TABLES < (1 << (8 * sizeof(l1_idx_t)))); in core_init_mmu_prtn_ta_core()1050 sizeof(l1_idx_t), in core_init_mmu()1051 alignof(l1_idx_t)); in core_init_mmu()