Lines Matching refs:exec_prog

115 	ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 17);
148 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 13);
173 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
198 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
223 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
247 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
272 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
297 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
322 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
347 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
372 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
397 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
422 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
446 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
471 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
496 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
521 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
546 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
571 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
596 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3039531);
621 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
646 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
671 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
696 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
721 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
746 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
771 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
796 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
891 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
917 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
943 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
968 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
994 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
1020 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
1046 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
1072 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
1098 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
1124 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
1150 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
1175 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
1201 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
1227 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
1253 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
1279 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
1305 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
1331 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3039531);
1357 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
1383 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
1409 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1435 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1461 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
1487 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1513 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
1539 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1642 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0u-777u);
1670 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2008 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2432 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2579 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2750 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2897 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2922 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX - 5);
2949 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
3053 ATF_CHECK(exec_prog(insns, insn_count, pkt, 2) == 40);
3079 ATF_CHECK(exec_prog(insns, insn_count, pkt, 6) == 55);
3104 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 391);
3171 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
3392 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
4033 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);