Use modern C++ attributes instead of __attribute__ voodoo.

This is quite nice, although I wish [[gnu::always_inline]] implied inline.
Also "gnu::" is kind of a wart, but whatcha gonna do.

1 files changed, 0 insertions, 2 deletions

diff --git a/Kernel/kprintf.h b/Kernel/kprintf.h
index 2406b9c07d..29c2d15bd4 100644
--- a/Kernel/kprintf.h
+++ b/Kernel/kprintf.h
@@ -1,7 +1,5 @@
 #pragma once
 
-#include <AK/Compiler.h>
-
 extern "C" {
 int dbgprintf(const char *fmt, ...);
 int kprintf(const char *fmt, ...);