Index: kernel/arch/amd64/include/ddi/ddi.h
===================================================================
--- kernel/arch/amd64/include/ddi/ddi.h	(revision 3d6beaa35f8c97b40779781a9022e244474c064e)
+++ kernel/arch/amd64/include/ddi/ddi.h	(revision ba7371f9d732a62dea4383ffb0e509bccd9f4e4a)
@@ -33,5 +33,5 @@
 /**
  * @file
- * @brief	amd64 specific DDI declarations and macros.
+ * @brief amd64 specific DDI declarations and macros.
  */
 
