S3C2410_WATCHDOG_ATBOOT
static int tmr_atboot = S3C2410_WATCHDOG_ATBOOT;
__MODULE_STRING(S3C2410_WATCHDOG_ATBOOT));