#ifndef __GILBRALTAR_CLOCK__
#define __GILBRALTAR_CLOCK__
#include <stdint.h>
uint32_t gilbraltar_get_rate_of_clock(uint32_t);
#endif