void arm_gt_clock_set_control(uint32_t ctl)
Definition: arm-generic-timer-aarch64.c:85
uint64_t arm_gt_clock_get_compare_value(void)
Definition: arm-generic-timer-aarch64.c:40
void arm_generic_timer_get_config(uint32_t *frequency, uint32_t *irq)
Definition: arm-generic-timer-aarch64.c:100
uint64_t arm_gt_clock_get_count(void)
Definition: arm-generic-timer-aarch64.c:71
void arm_gt_clock_set_compare_value(uint64_t cval)
Definition: arm-generic-timer-aarch64.c:56
This header file provides basic definitions used by the API and the implementation.