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)   raspberrypi_clock_at_tick()
#define	Clock_driver_support_initialize_hardware()   raspberrypi_clock_initialize_hardware()
#define	Clock_driver_support_install_isr(clock_isr)    raspberrypi_clock_handler_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.