Transform 'u32' to 'uint32_t' in src/target
[fw/openocd] / src / target / mips_m4k.h
index 3ecb7f4feb9a6ef17653fd7cbffaa199d7426b08..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, u8 *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);