Lines Matching refs:exec_prog

115 	ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
140 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
165 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
189 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
214 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
239 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
264 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
289 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
314 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
339 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
364 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
389 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
414 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
439 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
464 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
489 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
514 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
609 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
635 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
661 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
686 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
712 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
738 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
764 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
790 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
816 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
842 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
868 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
894 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
920 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
946 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
972 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
998 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
1024 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1127 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0u-777u);
1155 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
1433 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
1747 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
1894 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2065 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2212 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2237 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX - 5);
2264 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2368 ATF_CHECK(exec_prog(insns, insn_count, pkt, 2) == 40);
2394 ATF_CHECK(exec_prog(insns, insn_count, pkt, 6) == 55);
2419 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 391);
2486 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
2707 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
3348 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);