1 files changed, 7 insertions, 15 deletions
diff --git a/lib/libk/stdio.h b/lib/libk/stdio.h
index b28eb5e..7a6e663 100644
--- a/lib/libk/stdio.h
+++ b/lib/libk/stdio.h
@@ -2,22 +2,17 @@
 
 #include <stdarg.h>
 
-///@defgroup libk libk
-///@{
-///@defgroup stdio stdio
-///@{
-
-/// An object type used for streams
+/** An object type used for streams */
 typedef struct FILE {
   int id;
 
-  /// Function that prints a character to the stream
+  /** Function that prints a character to the stream */
   void (*putc)(const struct FILE *, char);
 
-  /// Function that prints a string to the stream
+  /** Function that prints a string to the stream */
   int (*puts)(const struct FILE *, const char *, int);
 
-  /// Flush write buffers
+  /** Flush write buffers */
   void (*flush)(const struct FILE *);
 } FILE;
 
@@ -33,17 +28,14 @@ extern FILE *stderr;
  * Supports ``%s`` (string), ``%d`` (decimal), ``%u`` (unsigned), ``%x`` (hexadecimal)
  * @return number of bytes written
  */
-int printf(const char *restrict format, ...);
+int printf(const char *__restrict__ format, ...);
 
 /**
  * Write the formatted string to stream; see printf
  */
-int fprintf(FILE *restrict stream, const char *restrict format, ...);
+int fprintf(FILE *__restrict__ stream, const char *__restrict__ format, ...);
 
 /**
  * Write the formatted string to stream; see printf
  */
-int vfprintf(FILE *restrict stream, const char *restrict format, va_list ap);
-
-///@}
-///@}
+int vfprintf(FILE *__restrict__ stream, const char *__restrict__ format, va_list ap);