CONFIG_RTC_SYSTOHC 538 kernel/time/ntp.c if (!IS_ENABLED(CONFIG_RTC_SYSTOHC)) CONFIG_RTC_SYSTOHC 631 kernel/time/ntp.c IS_ENABLED(CONFIG_RTC_SYSTOHC))