CCNT_SWI_SCHED
KTEST_EQUAL(call_counts[CCNT_SWI_SCHED], 1);
call_counts[CCNT_SWI_SCHED] = 0;
KTEST_EQUAL(call_counts[CCNT_SWI_SCHED], 0); /* No SWI scheduled */
call_counts[CCNT_SWI_SCHED]++;
KTEST_EQUAL(call_counts[CCNT_SWI_SCHED], 0);
KTEST_EQUAL(call_counts[CCNT_SWI_SCHED], 1);