Index: kernel/arch/amd64/include/arch/asm.h
===================================================================
--- kernel/arch/amd64/include/arch/asm.h	(revision 7ba16eb2305f77c05ab9260d09fae55d5c25fa4f)
+++ kernel/arch/amd64/include/arch/asm.h	(revision 8ad7dd1144b5c7f25e1f0ce44d39680d69dc1abb)
@@ -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);
 }