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 86a3f89bd99f36a5d80e0649f6e95d579e1228b6)
@@ -33,5 +33,5 @@
 /**
  * @file
- * @brief	amd64 specific DDI declarations and macros.
+ * @brief amd64 specific DDI declarations and macros.
  */