wsdisplaydevprint
config_found(self, &wa, wsdisplaydevprint, CFARGS_NONE);
int wsdisplaydevprint(void *, const char *);