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