Searched refs:alloc_addr (Results 1 – 1 of 1) sorted by relevance
165 void *alloc_addr; in its_alloc_tables() local216 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()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() local560 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()[all …]
Completed in 11 milliseconds