Lines Matching refs:__msg
87 __failure __msg("R0 pointer arithmetic on ringbuf_mem_or_null prohibited")
123 __failure __msg("R0 invalid mem access 'scalar'")
252 __failure __msg("math between pkt pointer and register with unbounded min value is not allowed")
278 __failure __msg("invalid access to packet")
310 __failure __msg("invalid access to packet")
387 __failure __msg("math between ctx pointer and 4294967295 is not allowed")
427 __failure __msg("dereference of modified ctx ptr R6 off=65535 disallowed")
467 __msg("fp-8=0m??scalar()")
468 __msg("fp-16=00mm??scalar()")
469 __msg("fp-24=00mm???scalar()")
509 __msg("2: (7a) *(u64 *)(r10 -8) = 0 ; R10=fp0 fp-8_w=0")
511 __msg("4: (7b) *(u64 *)(r10 -16) = r0 ; R0_w=0 R10=fp0 fp-16_w=0")
515 __msg("6: (71) r2 = *(u8 *)(r10 -1) ; R2_w=0 R10=fp0 fp-8_w=0")
519 __msg("10: (71) r2 = *(u8 *)(r10 -9) ; R2_w=0 R10=fp0 fp-16_w=0")
520 __msg("11: (0f) r1 += r2")
521 __msg("mark_precise: frame0: last_idx 11 first_idx 0 subseq_idx -1")
522 __msg("mark_precise: frame0: regs=r2 stack= before 10: (71) r2 = *(u8 *)(r10 -9)")
523 __msg("mark_precise: frame0: regs= stack=-16 before 9: (bf) r1 = r6")
524 __msg("mark_precise: frame0: regs= stack=-16 before 8: (73) *(u8 *)(r1 +0) = r2")
525 __msg("mark_precise: frame0: regs= stack=-16 before 7: (0f) r1 += r2")
526 __msg("mark_precise: frame0: regs= stack=-16 before 6: (71) r2 = *(u8 *)(r10 -1)")
527 __msg("mark_precise: frame0: regs= stack=-16 before 5: (bf) r1 = r6")
528 __msg("mark_precise: frame0: regs= stack=-16 before 4: (7b) *(u64 *)(r10 -16) = r0")
529 __msg("mark_precise: frame0: regs=r0 stack= before 3: (b7) r0 = 0")
600 __msg("2: (62) *(u32 *)(r10 -4) = 0 ; R10=fp0 fp-8=0000????")
601 __msg("4: (71) r2 = *(u8 *)(r10 -1) ; R2_w=0 R10=fp0 fp-8=0000????")
602 __msg("5: (0f) r1 += r2")
603 __msg("mark_precise: frame0: last_idx 5 first_idx 0 subseq_idx -1")
604 __msg("mark_precise: frame0: regs=r2 stack= before 4: (71) r2 = *(u8 *)(r10 -1)")
643 __msg("3: (7a) *(u64 *)(r10 -8) = 1 ; R10=fp0 fp-8_w=1") in __flag()
645 __msg("5: (7b) *(u64 *)(r10 -16) = r0 ; R0_w=1 R10=fp0 fp-16_w=1") in __flag()
647 __msg("8: (79) r2 = *(u64 *)(r10 -8) ; R2_w=1 R10=fp0 fp-8=1") in __flag()
648 __msg("9: (0f) r1 += r2") in __flag()
649 __msg("mark_precise: frame0: last_idx 9 first_idx 7 subseq_idx -1") in __flag()
650 __msg("mark_precise: frame0: regs=r2 stack= before 8: (79) r2 = *(u64 *)(r10 -8)") in __flag()
651 __msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r1 = r6") in __flag()
653 __msg("mark_precise: frame0: parent state regs= stack=-8: R0_w=1 R1=ctx() R6_r=map_value(map=.data… in __flag()
654 __msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7") in __flag()
655 __msg("mark_precise: frame0: regs= stack=-8 before 6: (05) goto pc+0") in __flag()
656 __msg("mark_precise: frame0: regs= stack=-8 before 5: (7b) *(u64 *)(r10 -16) = r0") in __flag()
657 __msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r0 = 1") in __flag()
658 __msg("mark_precise: frame0: regs= stack=-8 before 3: (7a) *(u64 *)(r10 -8) = 1") in __flag()
659 __msg("10: R1_w=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2_w=1") in __flag()
661 __msg("12: (79) r2 = *(u64 *)(r10 -16) ; R2_w=1 R10=fp0 fp-16=1") in __flag()
662 __msg("13: (0f) r1 += r2") in __flag()
663 __msg("mark_precise: frame0: last_idx 13 first_idx 7 subseq_idx -1") in __flag()
664 __msg("mark_precise: frame0: regs=r2 stack= before 12: (79) r2 = *(u64 *)(r10 -16)") in __flag()
665 __msg("mark_precise: frame0: regs= stack=-16 before 11: (bf) r1 = r6") in __flag()
666 __msg("mark_precise: frame0: regs= stack=-16 before 10: (73) *(u8 *)(r1 +0) = r2") in __flag()
667 __msg("mark_precise: frame0: regs= stack=-16 before 9: (0f) r1 += r2") in __flag()
668 __msg("mark_precise: frame0: regs= stack=-16 before 8: (79) r2 = *(u64 *)(r10 -8)") in __flag()
669 __msg("mark_precise: frame0: regs= stack=-16 before 7: (bf) r1 = r6") in __flag()
671 __msg("mark_precise: frame0: parent state regs= stack=-16: R0_w=1 R1=ctx() R6_r=map_value(map=.dat… in __flag()
672 __msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7") in __flag()
673 __msg("mark_precise: frame0: regs= stack=-16 before 6: (05) goto pc+0") in __flag()
674 __msg("mark_precise: frame0: regs= stack=-16 before 5: (7b) *(u64 *)(r10 -16) = r0") in __flag()
675 __msg("mark_precise: frame0: regs=r0 stack= before 4: (b7) r0 = 1") in __flag()
676 __msg("14: R1_w=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2_w=1") in __flag()
720 __msg("3: (62) *(u32 *)(r10 -8) = 1 ; R10=fp0 fp-8=????1") in __flag()
722 __msg("5: (63) *(u32 *)(r10 -16) = r0 ; R0_w=1 R10=fp0 fp-16=????1") in __flag()
724 __msg("8: (61) r2 = *(u32 *)(r10 -8) ; R2_w=1 R10=fp0 fp-8=????1") in __flag()
725 __msg("9: (0f) r1 += r2") in __flag()
726 __msg("mark_precise: frame0: last_idx 9 first_idx 7 subseq_idx -1") in __flag()
727 __msg("mark_precise: frame0: regs=r2 stack= before 8: (61) r2 = *(u32 *)(r10 -8)") in __flag()
728 __msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r1 = r6") in __flag()
729 __msg("mark_precise: frame0: parent state regs= stack=-8: R0_w=1 R1=ctx() R6_r=map_value(map=.data… in __flag()
730 __msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7") in __flag()
731 __msg("mark_precise: frame0: regs= stack=-8 before 6: (05) goto pc+0") in __flag()
732 __msg("mark_precise: frame0: regs= stack=-8 before 5: (63) *(u32 *)(r10 -16) = r0") in __flag()
733 __msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r0 = 1") in __flag()
734 __msg("mark_precise: frame0: regs= stack=-8 before 3: (62) *(u32 *)(r10 -8) = 1") in __flag()
735 __msg("10: R1_w=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2_w=1") in __flag()
737 __msg("12: (61) r2 = *(u32 *)(r10 -16) ; R2_w=1 R10=fp0 fp-16=????1") in __flag()
738 __msg("13: (0f) r1 += r2") in __flag()
739 __msg("mark_precise: frame0: last_idx 13 first_idx 7 subseq_idx -1") in __flag()
740 __msg("mark_precise: frame0: regs=r2 stack= before 12: (61) r2 = *(u32 *)(r10 -16)") in __flag()
741 __msg("mark_precise: frame0: regs= stack=-16 before 11: (bf) r1 = r6") in __flag()
742 __msg("mark_precise: frame0: regs= stack=-16 before 10: (73) *(u8 *)(r1 +0) = r2") in __flag()
743 __msg("mark_precise: frame0: regs= stack=-16 before 9: (0f) r1 += r2") in __flag()
744 __msg("mark_precise: frame0: regs= stack=-16 before 8: (61) r2 = *(u32 *)(r10 -8)") in __flag()
745 __msg("mark_precise: frame0: regs= stack=-16 before 7: (bf) r1 = r6") in __flag()
746 __msg("mark_precise: frame0: parent state regs= stack=-16: R0_w=1 R1=ctx() R6_r=map_value(map=.dat… in __flag()
747 __msg("mark_precise: frame0: last_idx 6 first_idx 3 subseq_idx 7") in __flag()
748 __msg("mark_precise: frame0: regs= stack=-16 before 6: (05) goto pc+0") in __flag()
749 __msg("mark_precise: frame0: regs= stack=-16 before 5: (63) *(u32 *)(r10 -16) = r0") in __flag()
750 __msg("mark_precise: frame0: regs=r0 stack= before 4: (b7) r0 = 1") in __flag()
751 __msg("14: R1_w=map_value(map=.data.two_byte_,ks=4,vs=2,off=1) R2_w=1") in __flag()
1051 __failure __msg("math between ctx pointer and 4294967295 is not allowed")
1098 __msg("8: (79) r1 = *(u64 *)(r10 -8)")
1099 __msg("8: safe")
1100 __msg("processed 11 insns")
1144 __msg("if r1 == 0x2a goto pc+0")
1145 __msg("if r1 == 0x2a goto pc+0")
1146 __msg("processed 15 insns")
1179 __msg("8: (79) r0 = *(u64 *)(r10 -8)")
1180 __msg("8: safe")
1181 __msg("processed 11 insns")
1216 __msg("8: (79) r1 = *(u64 *)(r10 -8)")
1217 __msg("9: (95) exit")
1218 __msg("from 2 to 7")
1219 __msg("8: safe")
1220 __msg("processed 11 insns")