Symbol: dump_machine_info
usr.bin/ktrdump/ktrdump.c
142
static void dump_machine_info(evtr_t);
usr.bin/ktrdump/ktrdump.c
305
dump_machine_info((evtr_t)ctx);