Symbol: kernhist_print
sys/ddb/db_command.c
1351
kernhist_print((void *)(uintptr_t)addr, count, modif, db_printf);
sys/sys/kernhist.h
261
void kernhist_print(void *, size_t, const char *, void (*)(const char *, ...) __printflike(1, 2));