Index: kernel/generic/include/panic.h
===================================================================
--- kernel/generic/include/panic.h	(revision e29e44bfc60bad156c2207d4a15f29c1a1645d85)
+++ kernel/generic/include/panic.h	(revision 4e17d54b4419e0e016292f66bc09bd15538510a1)
@@ -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