aon_rtc.c File Reference

#include "aon_rtc.h"
#include "cpu.h"

Functions
uint64_t	AONRTCCurrent64BitValueGet (void)
	Get the current 64-bit value of the RTC counter. More...