wdrtas_logbuffer   56 drivers/watchdog/wdrtas.c static char wdrtas_logbuffer[WDRTAS_LOGBUFFER_LEN];
wdrtas_logbuffer  163 drivers/watchdog/wdrtas.c 				   (void *)__pa(wdrtas_logbuffer),
wdrtas_logbuffer  170 drivers/watchdog/wdrtas.c 				wdrtas_logbuffer, WDRTAS_LOGBUFFER_LEN, false);