arm-generic-timer-aarch64.c File Reference

AArch64-specific ARM GPT system register accessors. More...

#include <dev/clock/arm-generic-timer.h>
#include <bsp/irq.h>

Functions
uint64_t	arm_gt_clock_get_compare_value (void)
void	arm_gt_clock_set_compare_value (uint64_t cval)
uint64_t	arm_gt_clock_get_count (void)
void	arm_gt_clock_set_control (uint32_t ctl)
void	arm_generic_timer_get_config (uint32_t *frequency, uint32_t *irq)

Detailed Description

AArch64-specific ARM GPT system register accessors.

Function Documentation

arm_generic_timer_get_config()

void arm_generic_timer_get_config	(	uint32_t *	frequency,
		uint32_t *	irq
	)

This function gets the frequency and IRQ number used by the ARM General Purpose Timer.

Parameters

[out]	frequency	The frequency at which the timer will fire.
[out]	irq	The number of the IRQ on which the timer will fire.

arm_gt_clock_get_compare_value()

uint64_t arm_gt_clock_get_compare_value

(

void

)

This function returns the current compare value for the ARM General Purpose Timer.

Returns

The current compare value.

arm_gt_clock_get_count()

uint64_t arm_gt_clock_get_count

(

void

)

This function returns the count for the ARM General Purpose Timer.

Returns

The current count.

arm_gt_clock_set_compare_value()

void arm_gt_clock_set_compare_value

(

uint64_t

cval

)

This function sets the current compare value for the ARM General Purpose Timer.

Parameters

[in]

cval

The value to set as the compare value

arm_gt_clock_set_control()

void arm_gt_clock_set_control

(

uint32_t

ctl

)

This function sets the control register for the ARM General Purpose Timer.

Parameters

[in]

ctl

The value to set to the control register