Searched refs:indirect_dev_lvl1_table (Results 1 – 1 of 1) sorted by relevance
47 uint64_t *indirect_dev_lvl1_table; member245 data->indirect_dev_lvl1_table = alloc_addr; in its_alloc_tables()518 if (!data->indirect_dev_lvl1_table[offset]) { in gicv3_its_init_device_id()532 data->indirect_dev_lvl1_table[offset] = (uintptr_t)alloc_addr | in gicv3_its_init_device_id()