superio_printf
superio_printf(dinfo, "Device leaked IRQ resources\n");
superio_printf(dinfo, "Device leaked memory resources\n");
superio_printf(dinfo, "Device leaked I/O resources\n");