Index: kernel/generic/include/macros.h
===================================================================
--- kernel/generic/include/macros.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/include/macros.h	(revision 04c0fc5aa45ec90f84d2ef0b8b067f698c6f5f0e)
@@ -49,5 +49,5 @@
  *
  */
-NO_TRACE static inline int overlaps(uint64_t s1, uint64_t sz1, uint64_t s2,
+_NO_TRACE static inline int overlaps(uint64_t s1, uint64_t sz1, uint64_t s2,
     uint64_t sz2)
 {
@@ -78,5 +78,5 @@
  *
  */
-NO_TRACE static inline int iswithin(uint64_t s1, uint64_t sz1, uint64_t s2,
+_NO_TRACE static inline int iswithin(uint64_t s1, uint64_t sz1, uint64_t s2,
     uint64_t sz2)
 {
