current_time_grtc.h File Reference

#include <stdint.h>

Go to the source code of this file.

Functions
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.