#ifndef __GILBRALTAR_TIMER__
#define __GILBRALTAR_TIMER__

#include <bcm.h>
#include <stdint.h>

#define CLOCKHZ 1000000

void gilbraltar_delay_hot_loop(uint32_t);
void gilbraltar_delay_us(uint32_t);
void gilbraltar_delay_ms(uint32_t);
uint32_t gilbraltar_system_clock(void);

#endif