/* provide access to fpga gpios (for I2C bitbang) (these may look all too simple but make iocon.h much more readable)  */
void fpga_gpio_set(uint bus, int pin)
/* provide access to fpga gpios (for I2C bitbang) (these may look all too simple but make iocon.h much more readable)  */
void fpga_gpio_set(uint bus, int pin)
{
	FPGA_SET_REG(bus, gpio.set, pin);
}