/* Select GPIO pins to be used by this peripheral. 
This needs to be configured when no transaction is in progress. */
void i2c_select_pins(uint32_t i2c, uint8_t scl_pin, uint8_t sda_pin)
/* Select GPIO pins to be used by this peripheral. 
This needs to be configured when no transaction is in progress. */
void i2c_select_pins(uint32_t i2c, uint8_t scl_pin, uint8_t sda_pin)
{
    I2C_PSELSCL(i2c) = scl_pin;
    I2C_PSELSDA(i2c) = sda_pin;
}