printfn
void (*printfn)(const char*, ...))
(*printfn)("\nstackframe count exceeded\n");
(*printfn)("SP 0x%x: not in kernel\n", sp);
(*printfn)("PC 0x%x: not in kernel space\n", pc);
(*printfn)("%#"PRIxVADDR": %s+%#"PRIxVADDR" (%#"PRIxREGISTER","
(*printfn)("stacktrace: loop!\n");
(*printfn)("User-level: pid %d.%d\n",
(*printfn)("User-level: FIXME\n");
void (*printfn)(pci_chipset_tag_t, pcitag_t, const pcireg_t *)
if (printfn)
(*printfn)(pc, tag, regs);
void (*printfn)(void))
hd->hk_print_func = printfn;
extern int printfn(u_char *, u_char *);
if (printfn(bp->bp_sname, ep)) {
if (printfn(bp->bp_file, ep)) {
printfn(bp, bp + len);
printfn(bp, bp + len);
char * (*printfn)(npf_conf_info_t *, const uint32_t *);
if (mk->printfn) {
if ((val = mk->printfn(ctx, marks)) != NULL) {