Searched refs:device_ids (Results 1 – 1 of 1) sorted by relevance
152 unsigned int device_ids = GITS_TYPER_DEVBITS_GET(sys_read64(data->base + GITS_TYPER)) + 1; in its_alloc_tables() local180 if (device_ids > 16) { in its_alloc_tables()191 device_ids -= lvl2_width + 1; in its_alloc_tables()199 page_cnt = ROUND_UP(entry_size << device_ids, page_size) / page_size; in its_alloc_tables()246 data->indirect_dev_lvl1_width = device_ids; in its_alloc_tables()
