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