1 /*
2  * Copyright (c) 2012 Travis Geiselbrecht
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #pragma once
9 
10 void platform_init_interrupts(void);
11 void platform_init_timer(uint32_t freq);
12 void zynq_gpio_init(void);
13 
14