Man pages matching name device_printf in section 9: