BeRTOS
|
Driver module for DSP56K. More...
#include "timer.h"
#include <DSP56F807.h>
#include <cfg/compiler.h>
#include <hw.h>
#include <drv/irq.h>
Go to the source code of this file.
Defines | |
#define | TIMER_PRESCALER 16 |
Prescaler for the system timer. | |
#define | TIMER_HW_HPTICKS_PER_SEC (IPBUS_FREQ / TIMER_PRESCALER) |
Frequency of the hardware high precision timer. | |
Typedefs | |
typedef uint16_t | hptime_t |
Type of time expressed in ticks of the hardware high precision timer. |
Driver module for DSP56K.
Definition in file timer_dsp56k.h.