Searched defs:gicv3 (Results 1 – 1 of 1) sorted by relevance
694 device_t gicv3; in gicv3_its_conftable_init() local781 device_t gicv3; in its_init_cpu_lpi() local885 device_t gicv3; in its_init_cpu() local