Searched refs:GICV3_MAX_CPUS (Results 1 – 1 of 1) sorted by relevance
16 #define GICV3_MAX_CPUS 512 macro369 GUEST_ASSERT(nr_cpus <= GICV3_MAX_CPUS); in gicv3_init()