cfg: ftdi icdi enable srst open drain config
[fw/openocd] / src / target / mips_m4k.h
index 11a936fc6362d733115b9c4cdb81cce260ce5b2c..e21d57e9c8d6cb1cdac90b4db9f2b060d77e87d2 100644 (file)
 #ifndef MIPS_M4K_H
 #define MIPS_M4K_H
 
-#include <helper/types.h>
-
 struct target;
 
 #define MIPSM4K_COMMON_MAGIC   0xB321B321
 
-struct mips_m4k_common
-{
+struct mips_m4k_common {
        uint32_t common_magic;
        bool is_pic32mx;
        struct mips32_common mips32;