kmdb_dpi_work_required
if (kmdb_dpi_work_required())
(kmdb_dpi_work_required() ? " (work required)" : ""));
extern int kmdb_dpi_work_required(void); /* Driver OK */