#ifndef __GILBRALTAR_CLOCK__
#define __GILBRALTAR_CLOCK__

#include <stdint.h>

uint32_t gilbraltar_get_rate_of_clock(uint32_t);

#endif