SECWDOG_COUNT_REG
cur_val = secure_register_read(wdt, SECWDOG_COUNT_REG);
val = secure_register_read(wdt, SECWDOG_COUNT_REG);