/* Access the Scratchpad registers 0..7 of the Intel bridge.  */
void i2155x_write_scrapad(int idx, u32 val)
/* Access the Scratchpad registers 0..7 of the Intel bridge.  */
void i2155x_write_scrapad(int idx, u32 val)
{
    if (idx >= 0 && idx < I2155X_SCRAPAD_MAX)
	out_le32(i2155x.csr + (I2155X_SCRAPAD_ADDR/4) + idx, val);
    else
	printf("i2155x_write_scrapad: invalid index\n");
}