opfn_exit        1519 drivers/infiniband/hw/hfi1/init.c 	opfn_exit();
opfn_exit          85 drivers/infiniband/hw/hfi1/opfn.h void opfn_exit(void);