* Free BPF kernel buffers on device close. */
| 129 | * Free BPF kernel buffers on device close. |
| 130 | */ |
| 131 | void |
| 132 | bpf_buffer_free(struct bpf_d *d) |
| 133 | { |
| 134 | |
| 135 | if (d->bd_sbuf != NULL) |
| 136 | free(d->bd_sbuf, M_BPF); |
| 137 | if (d->bd_hbuf != NULL) |
| 138 | free(d->bd_hbuf, M_BPF); |
| 139 | if (d->bd_fbuf != NULL) |
| 140 | free(d->bd_fbuf, M_BPF); |
| 141 | |
| 142 | #ifdef INVARIANTS |
| 143 | d->bd_sbuf = d->bd_hbuf = d->bd_fbuf = (caddr_t)~0; |
| 144 | #endif |
| 145 | } |
| 146 | |
| 147 | /* |
| 148 | * This is a historical initialization that occurs when the BPF descriptor is |