bspstart.c File Reference

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