user_init 86 drivers/infiniband/hw/hfi1/file_ops.c static void user_init(struct hfi1_ctxtdata *uctxt); user_init 1228 drivers/infiniband/hw/hfi1/file_ops.c user_init(uctxt);