Lines Matching refs:ipmi_dev
286 device_printf(sc->ipmi_dev, "BMC has a message\n"); in ipmi_handle_attn()
294 device_printf(sc->ipmi_dev, "message buffer full"); in ipmi_handle_attn()
297 device_printf(sc->ipmi_dev, in ipmi_handle_attn()
305 device_printf(sc->ipmi_dev, "throw out message "); in ipmi_handle_attn()
495 device_printf(sc->ipmi_dev, "Unknown IOCTL %lX\n", cmd); in ipmi_ioctl()
640 device_printf(sc->ipmi_dev, "Failed to reset watchdog\n"); in ipmi_reset_watchdog()
673 device_printf(sc->ipmi_dev, "Failed to set watchdog\n"); in ipmi_set_watchdog()
787 device_printf(sc->ipmi_dev, "Power cycling using IPMI\n"); in ipmi_power_cycle()
800 device_printf(sc->ipmi_dev, "Power cycling via IPMI failed code %#x %#x\n", in ipmi_power_cycle()
811 device_printf(sc->ipmi_dev, "Power cycling via IPMI timed out\n"); in ipmi_power_cycle()
823 dev = sc->ipmi_dev; in ipmi_startup()