Symbol: kern_mod_80_fini
sys/compat/common/compat_80_mod.c
64
kern_mod_80_fini();
sys/compat/common/compat_mod.h
64
void kern_mod_80_fini(void);