<dec f='src/src/sys/fs/puffs/puffs_sys.h' l='243' type='void puffs_msgif_destroy()'/>
<def f='src/src/sys/fs/puffs/puffs_msgif.c' l='125' ll='130' type='void puffs_msgif_destroy()'/>
<use f='src/src/sys/fs/puffs/puffs_vfsops.c' l='786' u='c' c='puffs_vfsop_done'/>
