#include <stdint.h>

#ifndef FPGAIO_H
#define FPGAIO_H

#define DISKLED_ON  fpga_set_led(1)
#define DISKLED_OFF fpga_set_led(0)

#define BUTTON_OSD  1
#define BUTTON_USR  2

int fpga_io_init();

void fpga_gpo_write(uint32_t value);
uint32_t fpga_gpo_read();
uint32_t fpga_gpi_read();

void fpga_set_led(uint32_t on);
int  fpga_get_buttons();

void fpga_core_reset(int run);
void fpga_core_write(uint32_t offset, uint32_t value);
uint32_t fpga_core_read(uint32_t offset);
int fpga_core_id();
int fpga_ready();

int fpga_get_fio_size();
int fpga_get_io_version();

int fpga_load_rbf(char *name);

void reboot(int cold);
void app_restart();
char *getappname();

#endif