rge_problem
void rge_problem(rge_t *rgep, const char *fmt, ...);
rge_problem(rgep, "driver-detected hardware error: %s", msg);
rge_problem(rgep, "pci_config_setup() failed");
rge_problem(rgep, "ddi_regs_map_setup() failed");
rge_problem(rgep, "DMA buffer allocation failed");
rge_problem(rgep, "rge_nd_init() failed");
rge_problem(rgep, "ddi_intr_add_softint() failed");
rge_problem(rgep, "ddi_intr_add_softint() failed");
rge_problem(rgep, "rge_init_rings() failed");
rge_problem(rgep,
rge_problem(rgep,
rge_problem(rgep, "rge_rx_recycle: desballoc() failed");
rge_problem(rgep, "rge_rx_refill: free buffer %d is NULL",