| 804 | |
| 805 | #ifdef IPSEC_DEBUG |
| 806 | static void |
| 807 | kdebug_secreplay(struct secreplay *rpl) |
| 808 | { |
| 809 | int len, l; |
| 810 | |
| 811 | IPSEC_ASSERT(rpl != NULL, ("null rpl")); |
| 812 | printf(" secreplay{ count=%lu bitmap_size=%u wsize=%u last=%lu", |
| 813 | rpl->count, rpl->bitmap_size, rpl->wsize, rpl->last); |
| 814 | |
| 815 | if (rpl->bitmap == NULL) { |
| 816 | printf(" }\n"); |
| 817 | return; |
| 818 | } |
| 819 | |
| 820 | printf("\n bitmap { "); |
| 821 | for (len = 0; len < rpl->bitmap_size*4; len++) { |
| 822 | for (l = 7; l >= 0; l--) |
| 823 | printf("%u", (((rpl->bitmap)[len] >> l) & 1) ? 1 : 0); |
| 824 | } |
| 825 | printf(" }\n"); |
| 826 | } |
| 827 | #endif /* IPSEC_DEBUG */ |
| 828 | |
| 829 | static void |
no test coverage detected