Lines Matching refs:ipmi_dev
296 device_printf(sc->ipmi_dev, "BMC has a message\n"); in ipmi_handle_attn()
304 device_printf(sc->ipmi_dev, "message buffer full"); in ipmi_handle_attn()
307 device_printf(sc->ipmi_dev, in ipmi_handle_attn()
315 device_printf(sc->ipmi_dev, "throw out message "); in ipmi_handle_attn()
500 device_printf(sc->ipmi_dev, "Unknown IOCTL %lX\n", cmd); in ipmi_ioctl()
645 device_printf(sc->ipmi_dev, "Failed to reset watchdog\n"); in ipmi_reset_watchdog()
649 device_printf(sc->ipmi_dev, "Watchdog reset returned 0x%x\n", in ipmi_reset_watchdog()
686 device_printf(sc->ipmi_dev, "Failed to set watchdog\n"); in ipmi_set_watchdog()
688 device_printf(sc->ipmi_dev, "Watchdog set returned 0x%x\n", in ipmi_set_watchdog()
805 device_printf(sc->ipmi_dev, "Power cycling using IPMI\n"); in ipmi_power_cycle()
818 device_printf(sc->ipmi_dev, "Power cycling via IPMI failed code %#x %#x\n", in ipmi_power_cycle()
829 device_printf(sc->ipmi_dev, "Power cycling via IPMI timed out\n"); in ipmi_power_cycle()
841 dev = sc->ipmi_dev; in ipmi_startup()