Symbol: dump_savectx
sys/kern/kern_shutdown.c
399
dump_savectx();
sys/kern/kern_vnodedumper.c
137
dump_savectx();