Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 9f4ce50b24033031df04a936a788b201023e324e)
@@ -99,5 +99,5 @@
  *
  */
-NO_TRACE void exc_dispatch(unsigned int n, istate_t *istate)
+_NO_TRACE void exc_dispatch(unsigned int n, istate_t *istate)
 {
 #if (IVT_ITEMS > 0)
@@ -159,5 +159,5 @@
  *
  */
-NO_TRACE static void exc_undef(unsigned int n, istate_t *istate)
+_NO_TRACE static void exc_undef(unsigned int n, istate_t *istate)
 {
 	fault_if_from_uspace(istate, "Unhandled exception %u.", n);
@@ -165,5 +165,5 @@
 }
 
-static NO_TRACE void
+static _NO_TRACE void
 fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
 {
@@ -185,5 +185,5 @@
  *
  */
-NO_TRACE void fault_from_uspace(istate_t *istate, const char *fmt, ...)
+_NO_TRACE void fault_from_uspace(istate_t *istate, const char *fmt, ...)
 {
 	va_list args;
@@ -197,5 +197,5 @@
  *
  */
-NO_TRACE void fault_if_from_uspace(istate_t *istate, const char *fmt, ...)
+_NO_TRACE void fault_if_from_uspace(istate_t *istate, const char *fmt, ...)
 {
 	if (!istate_from_uspace(istate))
@@ -233,5 +233,5 @@
  *
  */
-NO_TRACE static int cmd_exc_print(cmd_arg_t *argv)
+_NO_TRACE static int cmd_exc_print(cmd_arg_t *argv)
 {
 	bool excs_all;