Lines Matching refs:alloc_addr
165 void *alloc_addr; in its_alloc_tables() local
216 alloc_addr = k_aligned_alloc(page_size, page_size * page_cnt); in its_alloc_tables()
217 if (!alloc_addr) { in its_alloc_tables()
221 memset(alloc_addr, 0, page_size * page_cnt); in its_alloc_tables()
236 reg |= MASK_SET((uintptr_t)alloc_addr >> GITS_BASER_ADDR_SHIFT, GITS_BASER_ADDR); in its_alloc_tables()
249 arch_dcache_flush_and_invd_range(alloc_addr, page_size * page_cnt); in its_alloc_tables()
258 data->indirect_dev_lvl1_table = alloc_addr; in its_alloc_tables()
555 void *alloc_addr; in gicv3_its_init_device_id() local
560 alloc_addr = k_aligned_alloc(data->indirect_dev_page_size, in gicv3_its_init_device_id()
562 if (!alloc_addr) { in gicv3_its_init_device_id()
566 memset(alloc_addr, 0, data->indirect_dev_page_size); in gicv3_its_init_device_id()
569 arch_dcache_flush_and_invd_range(alloc_addr, data->indirect_dev_page_size); in gicv3_its_init_device_id()
572 data->indirect_dev_lvl1_table[offset] = (uintptr_t)alloc_addr | in gicv3_its_init_device_id()