Lines Matching refs:alloc_addr
160 void *alloc_addr; in its_alloc_tables() local
212 alloc_addr = k_aligned_alloc(page_size, page_size * page_cnt); in its_alloc_tables()
213 if (!alloc_addr) { in its_alloc_tables()
217 memset(alloc_addr, 0, page_size * page_cnt); in its_alloc_tables()
233 reg |= MASK_SET((uintptr_t)alloc_addr >> GITS_BASER_ADDR_SHIFT, GITS_BASER_ADDR); in its_alloc_tables()
245 data->indirect_dev_lvl1_table = alloc_addr; in its_alloc_tables()
519 void *alloc_addr; in gicv3_its_init_device_id() local
524 alloc_addr = k_aligned_alloc(data->indirect_dev_page_size, in gicv3_its_init_device_id()
526 if (!alloc_addr) { in gicv3_its_init_device_id()
530 memset(alloc_addr, 0, data->indirect_dev_page_size); in gicv3_its_init_device_id()
532 data->indirect_dev_lvl1_table[offset] = (uintptr_t)alloc_addr | in gicv3_its_init_device_id()