Index: kernel/arch/amd64/include/arch/asm.h
===================================================================
--- kernel/arch/amd64/include/arch/asm.h	(revision 3eebe571041662ab78564d10118fa22413a60a5e)
+++ kernel/arch/amd64/include/arch/asm.h	(revision 84b8936de9e03805b6c9c2bfcdc43240c3363155)
@@ -236,5 +236,6 @@
  * @return Current interrupt priority level.
  */
-NO_TRACE static inline ipl_t interrupts_read(void) {
+NO_TRACE static inline ipl_t interrupts_read(void)
+{
 	return (ipl_t) read_rflags();
 }
@@ -246,5 +247,6 @@
  * @return Old interrupt priority level.
  */
-NO_TRACE static inline ipl_t interrupts_enable(void) {
+NO_TRACE static inline ipl_t interrupts_enable(void)
+{
 	ipl_t ipl = interrupts_read();
 	
@@ -260,5 +262,6 @@
  * @return Old interrupt priority level.
  */
-NO_TRACE static inline ipl_t interrupts_disable(void) {
+NO_TRACE static inline ipl_t interrupts_disable(void)
+{
 	ipl_t ipl = interrupts_read();
 	
@@ -275,5 +278,6 @@
  *
  */
-NO_TRACE static inline void interrupts_restore(ipl_t ipl) {
+NO_TRACE static inline void interrupts_restore(ipl_t ipl)
+{
 	write_rflags((uint64_t) ipl);
 }