Symbol: inpcb_fini