chip_write32()

void chip_write32(unsigned off,
                  unsigned val);

Same as chip_write16(), but for 32 bits.