Constant CONFIG_ESP32C3_TIME_SYSCALL_USE_RTC_SYSTIMER 

pub const CONFIG_ESP32C3_TIME_SYSCALL_USE_RTC_SYSTIMER: u32 = 1;