ses_log
ses_log(ssc, CE_WARN, "failed getting page header %x: %d", page, rv);
ses_log(ssc, CE_WARN, "failed to encode device id");
ses_log(ssc, CE_WARN, "failed to register device id");
#define SES_LOG if (ses_debug) ses_log
extern void ses_log(ses_softc_t *, int, const char *, ...);