Searched refs:device_id_cap (Results 1 – 1 of 1) sorted by relevance
589 u8 device_id_cap = ilog2(KMALLOC_MAX_SIZE/sizeof(*devtab)); in gicv5_its_alloc_devtab_linear() local592 device_id_bits, device_id_cap); in gicv5_its_alloc_devtab_linear()593 device_id_bits = device_id_cap; in gicv5_its_alloc_devtab_linear()