write32
static int write32(uint32_t v, FILE *f)
static int write32(struct drxk_state *state, u32 reg, u32 data)