RTEMS 6.1-rc1
Functions

This source file contains the implementation of bsp_start(). More...

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

Functions

void arm_generic_timer_get_config (uint32_t *frequency, uint32_t *irq)
 
void bsp_start (void)
 

Detailed Description

This source file contains the implementation of bsp_start().

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]frequencyThe frequency at which the timer will fire.
[out]irqThe number of the IRQ on which the timer will fire.