Index: kernel/arch/amd64/include/arch/asm.h
===================================================================
--- kernel/arch/amd64/include/arch/asm.h	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/amd64/include/arch/asm.h	(revision 114d0985f3fe419a2b8ff52eec41300416613cfc)
@@ -235,4 +235,5 @@
  *
  * @return Current interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_read(void)
@@ -246,4 +247,5 @@
  *
  * @return Old interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_enable(void)
@@ -261,4 +263,5 @@
  *
  * @return Old interrupt priority level.
+ *
  */
 NO_TRACE static inline ipl_t interrupts_disable(void)