Symbol: KTEST_VERIFY
sys/netinet/tcp_hpts_test.c
1031
KTEST_VERIFY(tp->t_hpts_request > 0);
sys/netinet/tcp_hpts_test.c
1032
KTEST_VERIFY(tp->t_hpts_slot < NUM_OF_HPTSI_SLOTS);
sys/netinet/tcp_hpts_test.c
1066
KTEST_VERIFY(initial_request > NUM_OF_HPTSI_SLOTS);
sys/netinet/tcp_hpts_test.c
1078
KTEST_VERIFY(tp2->t_hpts_request > 0);
sys/netinet/tcp_hpts_test.c
1091
KTEST_VERIFY(tp2->t_hpts_request < initial_request);
sys/netinet/tcp_hpts_test.c
1092
KTEST_VERIFY(tp2->t_hpts_request > 0); /* But not yet zero for such a large request */
sys/netinet/tcp_hpts_test.c
1137
KTEST_VERIFY(tp1->t_hpts_cpu < pace->rp_num_hptss);
sys/netinet/tcp_hpts_test.c
1138
KTEST_VERIFY(tp1->t_flags2 & TF2_HPTS_CPU_SET);
sys/netinet/tcp_hpts_test.c
1148
KTEST_VERIFY(tp2->t_hpts_cpu < pace->rp_num_hptss);
sys/netinet/tcp_hpts_test.c
1149
KTEST_VERIFY(tp2->t_flags2 & TF2_HPTS_CPU_SET);
sys/netinet/tcp_hpts_test.c
1203
KTEST_VERIFY(tp->t_hpts_slot < NUM_OF_HPTSI_SLOTS);
sys/netinet/tcp_hpts_test.c
1428
KTEST_VERIFY(slots_ran >= 0);
sys/netinet/tcp_hpts_test.c
1593
KTEST_VERIFY(slots_ran > 0);
sys/netinet/tcp_hpts_test.c
1630
KTEST_VERIFY(slots_ran > 0); /* Processing should still occur */
sys/netinet/tcp_hpts_test.c
420
KTEST_VERIFY(tcp_bind_threads >= 0 && tcp_bind_threads <= 2);
sys/netinet/tcp_hpts_test.c
439
KTEST_VERIFY(pace->rp_num_hptss > 0);
sys/netinet/tcp_hpts_test.c
440
KTEST_VERIFY(pace->rp_num_hptss <= MAXCPU); /* Reasonable upper bound */
sys/netinet/tcp_hpts_test.c
441
KTEST_VERIFY(pace->grp_cnt >= 1); /* At least one group */
sys/netinet/tcp_hpts_test.c
504
KTEST_VERIFY(cpu1 < pace1->rp_num_hptss);
sys/netinet/tcp_hpts_test.c
505
KTEST_VERIFY(cpu2 < pace2->rp_num_hptss);
sys/netinet/tcp_hpts_test.c
510
KTEST_VERIFY(pace1->rp_num_hptss > 0 && pace1->rp_num_hptss <= MAXCPU);
sys/netinet/tcp_hpts_test.c
511
KTEST_VERIFY(pace2->rp_num_hptss > 0 && pace2->rp_num_hptss <= MAXCPU);
sys/netinet/tcp_hpts_test.c
533
KTEST_VERIFY(call_counts[CCNT_MICROUPTIME] > 0);
sys/netinet/tcp_hpts_test.c
534
KTEST_VERIFY(call_counts[CCNT_CALLOUT_INIT] > 0);
sys/netinet/tcp_hpts_test.c
537
KTEST_VERIFY(call_counts[CCNT_SWI_ADD] > 0);
sys/netinet/tcp_hpts_test.c
538
KTEST_VERIFY(tcp_bind_threads == 0 ||
sys/netinet/tcp_hpts_test.c
541
KTEST_VERIFY(call_counts[CCNT_CALLOUT_RESET_SBT_ON] > 0);
sys/netinet/tcp_hpts_test.c
544
KTEST_VERIFY(call_counts[CCNT_CALLOUT_STOP_SAFE] > 0);
sys/netinet/tcp_hpts_test.c
545
KTEST_VERIFY(call_counts[CCNT_SWI_REMOVE] > 0);
sys/netinet/tcp_hpts_test.c
551
KTEST_VERIFY(call_counts[CCNT_CALLOUT_RESET_SBT_ON] <= call_counts[CCNT_CALLOUT_STOP_SAFE]);
sys/netinet/tcp_hpts_test.c
586
KTEST_VERIFY(tp->t_hpts_cpu < pace->rp_num_hptss);
sys/netinet/tcp_hpts_test.c
588
KTEST_VERIFY(!(tp->t_inpcb.inp_flags & INP_DROPPED));
sys/netinet/tcp_hpts_test.c
628
KTEST_VERIFY(tcp_in_hpts(tp));
sys/netinet/tcp_hpts_test.c
629
KTEST_VERIFY(tp->t_hpts_slot >= 0);
sys/netinet/tcp_hpts_test.c
630
KTEST_VERIFY(tp->t_hpts_slot < NUM_OF_HPTSI_SLOTS);
sys/netinet/tcp_hpts_test.c
643
KTEST_VERIFY(!tcp_in_hpts(tp));
sys/netinet/tcp_hpts_test.c
736
KTEST_VERIFY(slots_ran >= 0);
sys/netinet/tcp_hpts_test.c
761
KTEST_VERIFY(slots_ran >= 0);
sys/netinet/tcp_hpts_test.c
981
KTEST_VERIFY(slots_ran >= 0);