diff --git a/os/hal/src/rtc.c b/os/hal/src/rtc.c
index 10f09409a..daf4f4102 100644
--- a/os/hal/src/rtc.c
+++ b/os/hal/src/rtc.c
@@ -175,7 +175,9 @@ void rtcSetCallback(RTCDriver *rtcp, rtccb_t callback) {
  *
  * @api
  */
-uint32_t rtcGetTimeFat(RTCDriver *rtcp) {
+uint32_t rtcGetTimeFat(RTCDriver *rtcp) {
+
+  chDbgCheck((rtcp != NULL), "rtcSetTime");
   return rtc_lld_get_time_fat(rtcp);
 }