Transform 'u32' to 'uint32_t' in src/target
[fw/openocd] / src / target / mips_m4k.h
index 493f843829d7589bce14a1868adf9eca43cccc45..8e81d8ffafea7f197764dc0426eded8a54b344bb 100644 (file)
@@ -35,7 +35,7 @@ typedef struct mips_m4k_common_s
        mips32_common_t mips32_common;
 } mips_m4k_common_t;
 
-extern int mips_m4k_bulk_write_memory(struct target_s *target, u32 address, u32 count, uint8_t *buffer);
+extern int mips_m4k_bulk_write_memory(struct target_s *target, uint32_t address, uint32_t count, uint8_t *buffer);
 
 extern void mips_m4k_enable_breakpoints(struct target_s *target);
 extern int mips_m4k_set_breakpoint(struct target_s *target, breakpoint_t *breakpoint);