Lines Matching refs:SGI_MAX
326 if (active_int < SGI_MAX) {
349 } else if (active_int < (SGI_MAX + PPI_MAX) ) {
350 uint32_t int_num = 1 << (cpuHighestInt[ctx] - SGI_MAX);
509 unsigned offset = SGI_MAX + PPI_MAX;
594 if (iar.ack_id < SGI_MAX) {
604 } else if (iar.ack_id < (SGI_MAX + PPI_MAX) ) {
605 uint32_t int_num = 1 << (iar.ack_id - SGI_MAX);
750 for (int swi = 0; swi < SGI_MAX; swi++) {
763 for (int ppi_idx = 0, int_num = SGI_MAX;
764 int_num < PPI_MAX + SGI_MAX;
843 if (i < SGI_MAX) {
848 } else if (i < (SGI_MAX + PPI_MAX)) {
849 if ((cpuPpiActive[cpu] & ( 1 << (i - SGI_MAX))) &&
872 panic_if(num < SGI_MAX + PPI_MAX,
883 cpuPpiPending[cpu] |= 1 << (num - SGI_MAX);
911 cpuPpiPending[cpu] &= ~(1 << (num - SGI_MAX));
1000 SERIALIZE_ARRAY(cpuSgiActive, SGI_MAX);
1001 SERIALIZE_ARRAY(cpuSgiPending, SGI_MAX);
1022 SERIALIZE_ARRAY(intPriority, SGI_MAX + PPI_MAX);
1044 UNSERIALIZE_ARRAY(cpuSgiActive, SGI_MAX);
1045 UNSERIALIZE_ARRAY(cpuSgiPending, SGI_MAX);
1081 UNSERIALIZE_ARRAY(intPriority, SGI_MAX + PPI_MAX);