|
@@ -318,12 +318,6 @@
|
|
|
#define IS_SIM(chippkg) \
|
|
|
((chippkg == HDLSIM_PKG_ID) || (chippkg == HWSIM_PKG_ID))
|
|
|
|
|
|
-#ifdef DEBUG
|
|
|
-#define SI_MSG(fmt, ...) pr_debug(fmt, ##__VA_ARGS__)
|
|
|
-#else
|
|
|
-#define SI_MSG(fmt, ...) no_printk(fmt, ##__VA_ARGS__)
|
|
|
-#endif /* DEBUG */
|
|
|
-
|
|
|
#define GOODCOREADDR(x, b) \
|
|
|
(((x) >= (b)) && ((x) < ((b) + SI_MAXCORES * SI_CORE_SIZE)) && \
|
|
|
IS_ALIGNED((x), SI_CORE_SIZE))
|