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