vl_arb_get_cache 11576 drivers/infiniband/hw/hfi1/chip.c 		vl_arb_get_cache(vlc, t);
vl_arb_get_cache 11586 drivers/infiniband/hw/hfi1/chip.c 		vl_arb_get_cache(vlc, t);