Searched refs:l1_idx_t (Results 1 – 1 of 1) sorted by relevance
230 typedef uint8_t l1_idx_t; typedef232 typedef uint16_t l1_idx_t; typedef289 static l1_idx_t user_l1_table_idx[NUM_BASE_TABLES * CFG_TEE_CORE_NB_CORE];344 l1_idx_t *user_l1_table_idx;582 sizeof(l1_idx_t)); in core_alloc_mmu_prtn()975 COMPILE_TIME_ASSERT(MAX_XLAT_TABLES < (1 << (8 * sizeof(l1_idx_t)))); in core_init_mmu_prtn_ta_core()1049 sizeof(l1_idx_t), in core_init_mmu()1050 alignof(l1_idx_t)); in core_init_mmu()