Checked HalRtc* functions