ctl_kern_data_ptr
free(ctl_kern_data_ptr(io), M_CTL);
buf = ctl_kern_data_ptr(io);
buf = ctl_kern_data_ptr(io);
msg.dt.sg_list[0].addr = ctl_kern_data_ptr(io);
(void *)vtophys(ctl_kern_data_ptr(io));
msg.dt.sg_list[0].addr = ctl_kern_data_ptr(io);
sgl = (struct ctl_sg_entry *)ctl_kern_data_ptr(io);
res = cmp(ctl_kern_data_ptr(io) + off, page,
free(ctl_kern_data_ptr(io), M_RAMDISK);
sbuf_printf(&sb, " %02x", ctl_kern_data_ptr(io)[i]);