Index: kernel/generic/include/panic.h
===================================================================
--- kernel/generic/include/panic.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/generic/include/panic.h	(revision 50206e9574b78ae79eedeb03577fe6a9f9bb4d09)
@@ -66,5 +66,5 @@
 extern void panic_common(panic_category_t, struct istate *, int,
     uintptr_t, const char *, ...) __attribute__ ((noreturn))
-    PRINTF_ATTRIBUTE(5, 6);
+    _HELENOS_PRINTF_ATTRIBUTE(5, 6);
 
 #endif