7#ifndef _CURRENT_TIME_GRTC_H_
8#define _CURRENT_TIME_GRTC_H_
uint64_t current_time_grtc_us_get(void)
Obtain the current time from the GRTC.
void current_time_grtc_trigger_set(uint64_t timestamp_us)
Set the controller to trigger a PPI event at the given timestamp.
uint32_t current_time_grtc_trigger_event_addr_get(void)
Get the address of the event that will trigger.