Searched defs:gicv3 (Results 1 – 1 of 1) sorted by relevance
687 device_t gicv3; in gicv3_its_conftable_init() local775 device_t gicv3; in its_init_cpu_lpi() local879 device_t gicv3; in its_init_cpu() local