Lines Matching refs:VGIC_CPU_MAX
54 for (int x = 0; x < VGIC_CPU_MAX; x++) {
61 assert(sys->numRunningContexts() <= VGIC_CPU_MAX);
66 for (int x = 0; x < VGIC_CPU_MAX; x++)
102 assert(ctx_id < VGIC_CPU_MAX);
161 assert(ctx_id < VGIC_CPU_MAX);
243 assert(ctx_id < VGIC_CPU_MAX);
305 assert(ctx_id < VGIC_CPU_MAX);
419 assert(sys->numRunningContexts() <= VGIC_CPU_MAX);
460 Tick interrupt_time[VGIC_CPU_MAX];
461 for (uint32_t cpu = 0; cpu < VGIC_CPU_MAX; cpu++) {
470 SERIALIZE_ARRAY(interrupt_time, VGIC_CPU_MAX);
471 SERIALIZE_ARRAY(maintIntPosted, VGIC_CPU_MAX);
472 SERIALIZE_ARRAY(vIntPosted, VGIC_CPU_MAX);
478 for (uint32_t cpu = 0; cpu < VGIC_CPU_MAX; cpu++)
520 Tick interrupt_time[VGIC_CPU_MAX];
521 UNSERIALIZE_ARRAY(interrupt_time, VGIC_CPU_MAX);
522 for (uint32_t cpu = 0; cpu < VGIC_CPU_MAX; cpu++) {
528 UNSERIALIZE_ARRAY(maintIntPosted, VGIC_CPU_MAX);
529 UNSERIALIZE_ARRAY(vIntPosted, VGIC_CPU_MAX);