<map id="witness_destroy" name="witness_destroy">
<area shape="rect" id="node2" href="$de/d61/subr__witness_8c.html#a9d3f86afb1cf73ebf3fdf7c2b4a4a095" title="depart" alt="" coords="177,143,241,170"/>
<area shape="rect" id="node4" href="$de/dd6/kern__shutdown_8c.html#ad1f1a1dc0581a11b597453f148106393" title="panic" alt="" coords="181,350,237,377"/>
<area shape="rect" id="node3" href="$de/d61/subr__witness_8c.html#aa83c9fc3bd5f212909aca8d2c4cb37c1" title="witness_increment_graph\l_generation" alt="" coords="289,5,475,47"/>
<area shape="rect" id="node5" href="$d9/d6e/kern__cons_8c.html#a4ab361ef4182a919393714646b3548bd" title="cngrab" alt="" coords="549,274,615,301"/>
<area shape="rect" id="node6" href="$dc/db4/kern__switch_8c.html#a417e6bb5b5440182ba93aa3d1ae4daeb" title="critical_enter" alt="" coords="330,325,434,351"/>
<area shape="rect" id="node7" href="$dc/db4/kern__switch_8c.html#a402dcea3088a9f824b786c26602d37a9" title="critical_exit" alt="" coords="335,375,429,402"/>
<area shape="rect" id="node10" href="$d7/d56/subr__kdb_8c.html#a6dc7ec074b85cbe6a755486bd4462905" title="kdb_backtrace" alt="" coords="1216,173,1331,199"/>
<area shape="rect" id="node11" href="$d6/d69/subr__prf_8c.html#a55f3d956bb2ba20b5059e9e25484a47f" title="printf" alt="" coords="1607,527,1661,554"/>
<area shape="rect" id="node12" href="$d6/d69/subr__prf_8c.html#a75f4dcd3a01aaa5b8edd8b71d29bd6b4" title="vprintf" alt="" coords="1773,613,1835,639"/>
<area shape="rect" id="node29" href="$d6/d69/subr__prf_8c.html#a2cadafbeb2d6e0d5781f6e5106d41fc2" title="vsnprintf" alt="" coords="1595,223,1673,250"/>
<area shape="rect" id="node33" href="$d7/d56/subr__kdb_8c.html#a5e204f5b3337bf395f3e2ec2b5a79a4c" title="kdb_enter" alt="" coords="1056,1034,1143,1061"/>
<area shape="rect" id="node34" href="$de/dd6/kern__shutdown_8c.html#ab3ae272fe3c6404c824c951f2b813907" title="kern_reboot" alt="" coords="333,527,431,554"/>
<area shape="rect" id="node8" href="$dc/d52/kern__synch_8c.html#af1bab93c84aae8f6d0750c76013ebae5" title="mi_switch" alt="" coords="707,375,791,402"/>
<area shape="rect" id="node9" href="$dc/d52/kern__synch_8c.html#a2540d35e7d94af2cbb5a1f5b6f8e44c6" title="kdb_switch" alt="" coords="877,223,968,250"/>
<area shape="rect" id="node23" href="$d6/d33/sched__4bsd_8c.html#a8b1c0fd3b5ff34742e0c5c3838020212" title="sched_switch" alt="" coords="869,426,976,453"/>
<area shape="rect" id="node27" href="$d6/d33/sched__4bsd_8c.html#aff72e7205bc88345c12f4b1d2357d5bc" title="sched_tdname" alt="" coords="1215,375,1332,402"/>
<area shape="rect" id="node32" href="$d5/d2e/kern__thread_8c.html#a1e4b8478d6deb2b45cb451ce60dc5649" title="thread_stash" alt="" coords="869,375,976,402"/>
<area shape="rect" id="node22" href="$d7/d56/subr__kdb_8c.html#a64c75df3621eb03b823173e722f99f87" title="kdb_reenter" alt="" coords="1050,223,1149,250"/>
<area shape="rect" id="node19" href="$d2/d23/subr__stack_8c.html#a788e6a5c0858afcb88a5e74506fe093c" title="stack_print_ddb" alt="" coords="1389,122,1511,149"/>
<area shape="rect" id="node21" href="$d2/d23/subr__stack_8c.html#a2014b3329dd37cded461dfc844318a4c" title="stack_zero" alt="" coords="1405,173,1495,199"/>
<area shape="rect" id="node13" href="$d6/d69/subr__prf_8c.html#ab64d0ed19279b90e3dc791d884150eba" title="_vprintf" alt="" coords="1904,486,1973,513"/>
<area shape="rect" id="node14" href="$d9/d6e/kern__cons_8c.html#a59cd0b6e74dec3e23a6aee1ab6c6e0ef" title="cnputs" alt="" coords="2032,537,2097,563"/>
<area shape="rect" id="node15" href="$d6/d69/subr__prf_8c.html#a84c3fc6b9f0195ca0bdfd98038cfdebb" title="kvprintf" alt="" coords="2030,322,2099,349"/>
<area shape="rect" id="node17" href="$d6/d69/subr__prf_8c.html#a0722046a59d3c39ad1f9637aca6cd6d4" title="msglogstr" alt="" coords="2021,435,2108,462"/>
<area shape="rect" id="node18" href="$d6/d69/subr__prf_8c.html#af1555b36d5661325e3057d00d37ec241" title="putchar" alt="" coords="2029,486,2100,513"/>
<area shape="rect" id="node16" href="$d6/d69/subr__prf_8c.html#ae64943df03caa9540148d3ce1e649ac0" title="ksprintn" alt="" coords="2156,322,2229,349"/>
<area shape="rect" id="node20" href="$d2/d23/subr__stack_8c.html#a61f60220c69d075943fbad72511af096" title="stack_symbol_ddb" alt="" coords="1564,274,1704,301"/>
<area shape="rect" id="node24" href="$dc/db4/kern__switch_8c.html#adeef339d191297ab1c569b0f6dd9c14c" title="choosethread" alt="" coords="1044,477,1155,503"/>
<area shape="rect" id="node25" href="$d6/d33/sched__4bsd_8c.html#ac7558f82ee977e1fd5ffe0f60c1a3b1c" title="sched_add" alt="" coords="1054,375,1145,402"/>
<area shape="rect" id="node26" href="$d6/d33/sched__4bsd_8c.html#aa09e1ef5938b181def4dc6a59b604ffa" title="sched_load_add" alt="" coords="1211,438,1336,465"/>
<area shape="rect" id="node31" href="$d6/d33/sched__4bsd_8c.html#aa756720c31aa76224200f76863c6cca7" title="sched_load_rem" alt="" coords="1036,426,1163,453"/>
<area shape="rect" id="node28" href="$d6/d69/subr__prf_8c.html#ad76145a6edfc98981ded8815a760e0cd" title="snprintf" alt="" coords="1415,375,1485,402"/>
<area shape="rect" id="node30" href="$d6/d69/subr__prf_8c.html#a2cc6df6f6d8f1a58f60a9451e7551664" title="snprintf_func" alt="" coords="1752,223,1856,250"/>
<area shape="rect" id="node35" href="$de/dd6/kern__shutdown_8c.html#a9a568a114796acbed44014355251ddd4" title="doadump" alt="" coords="541,679,623,706"/>
<area shape="rect" id="node37" href="$de/dd6/kern__shutdown_8c.html#a594e1086fae13d5fd45db8b7604a8f5b" title="isbufbusy" alt="" coords="541,629,623,655"/>
<area shape="rect" id="node38" href="$de/dd6/kern__shutdown_8c.html#a41eff276dbdcda3bf6620fac6c230882" title="print_uptime" alt="" coords="531,527,633,554"/>
<area shape="rect" id="node40" href="$d6/d33/sched__4bsd_8c.html#a093a77acf7200977ccb924cc0fdd0a16" title="sched_bind" alt="" coords="535,477,629,503"/>
<area shape="rect" id="node41" href="$dc/d6c/vfs__syscalls_8c.html#a5f5c42d8ab39b247de5d07784db6e79a" title="sys_sync" alt="" coords="710,831,789,858"/>
<area shape="rect" id="node47" href="$da/def/vfs__subr_8c.html#a273d8911ed5ef3b83d3b8a054a4e0d0c" title="vfs_unmountall" alt="" coords="523,730,641,757"/>
<area shape="rect" id="node49" href="$da/def/vfs__subr_8c.html#a3b21ea53091ca3007ea80397e93a0533" title="vn_printf" alt="" coords="1235,578,1312,605"/>
<area shape="rect" id="node36" href="$dd/d43/imgact__elf_8c.html#a6243570f2044c8a097f287b4f6b36d25" title="coredump" alt="" coords="706,679,793,706"/>
<area shape="rect" id="node39" href="$df/d1a/kern__tc_8c.html#a72625f715f1ac2c44b7f54d2aa5771a6" title="getnanouptime" alt="" coords="689,578,809,605"/>
<area shape="rect" id="node42" href="$da/def/vfs__subr_8c.html#ab58e2eab5856b0241f5754cbcc69a2d4" title="vfs_busy" alt="" coords="884,933,961,959"/>
<area shape="rect" id="node43" href="$da/d44/vfs__vnops_8c.html#a38c1fdba8ab44c83aa95ed1c8193c015" title="vn_start_write" alt="" coords="867,781,978,807"/>
<area shape="rect" id="node44" href="$da/def/vfs__subr_8c.html#ab1dec2cff0b4a77b44a6f442970e284f" title="vfs_msync" alt="" coords="878,730,967,757"/>
<area shape="rect" id="node45" href="$da/d44/vfs__vnops_8c.html#aec0cfb92946da4401eedeab5466b01f7" title="vn_finished_write" alt="" coords="857,882,988,909"/>
<area shape="rect" id="node46" href="$da/def/vfs__subr_8c.html#a73396a1fd7d7cdab7d93bb54d6b3cd73" title="vfs_unbusy" alt="" coords="876,831,969,858"/>
<area shape="rect" id="node48" href="$d4/d41/vfs__mount_8c.html#a7f82fbd58471ceb03d6aca13a81c6a24" title="dounmount" alt="" coords="701,781,797,807"/>
<area shape="rect" id="node50" href="$d9/d26/kern__lock_8c.html#a515441b50984b658450f6c8ba2d4c2a8" title="lockmgr_printinfo" alt="" coords="1384,527,1516,554"/>
</map>