Searched refs:GICV3_MAX_CPUS (Results 1 – 2 of 2) sorted by relevance
17 void *redist_base[GICV3_MAX_CPUS];216 GUEST_ASSERT(nr_cpus <= GICV3_MAX_CPUS); in gicv3_init()
68 #define GICV3_MAX_CPUS 512 macro
Completed in 3 milliseconds