bcm2835-system-timer.c File Reference

This source file contains the implementation of the BCM2835 Clock Driver. More...

#include <rtems.h>
#include <bsp.h>
#include <bsp/irq.h>
#include <bsp/irq-generic.h>
#include <bsp/raspberrypi.h>
#include <rtems/timecounter.h>
#include "../../../shared/dev/clock/clockimpl.h"

Macros
#define	Clock_driver_support_at_tick(arg)
#define	Clock_driver_support_initialize_hardware()
#define	Clock_driver_support_install_isr(clock_isr)
#define	CLOCK_DRIVER_USE_ONLY_BOOT_PROCESSOR   1

Detailed Description

This source file contains the implementation of the BCM2835 Clock Driver.

Macro Definition Documentation

Clock_driver_support_at_tick

#define Clock_driver_support_at_tick

(

arg

)

Value:

raspberrypi_clock_at_tick()

Clock_driver_support_initialize_hardware

#define Clock_driver_support_initialize_hardware

(

void

)

Value:

raspberrypi_clock_initialize_hardware()

Clock_driver_support_install_isr

#define Clock_driver_support_install_isr

(

clock_isr

)

Value:

raspberrypi_clock_handler_install_isr(clock_isr)