Changes in kernel/arch/amd64/include/arch/asm.h [a35b458:013e5d32] in mainline

File:

• kernel/arch/amd64/include/arch/asm.h (modified) (1 diff)

kernel/arch/amd64/include/arch/asm.h

@@ -402 +402 @@
         }
 
-GEN_READ_REG(cr0)
-GEN_WRITE_REG(cr0)
-GEN_READ_REG(cr2)
-GEN_READ_REG(cr3)
-GEN_WRITE_REG(cr3)
-GEN_READ_REG(cr4)
-GEN_WRITE_REG(cr4)
-
-GEN_READ_REG(dr0)
-GEN_READ_REG(dr1)
-GEN_READ_REG(dr2)
-GEN_READ_REG(dr3)
-GEN_READ_REG(dr6)
-GEN_READ_REG(dr7)
-
-GEN_WRITE_REG(dr0)
-GEN_WRITE_REG(dr1)
-GEN_WRITE_REG(dr2)
-GEN_WRITE_REG(dr3)
-GEN_WRITE_REG(dr6)
-GEN_WRITE_REG(dr7)
+GEN_READ_REG(cr0);
+GEN_WRITE_REG(cr0);
+GEN_READ_REG(cr2);
+GEN_READ_REG(cr3);
+GEN_WRITE_REG(cr3);
+GEN_READ_REG(cr4);
+GEN_WRITE_REG(cr4);
+
+GEN_READ_REG(dr0);
+GEN_READ_REG(dr1);
+GEN_READ_REG(dr2);
+GEN_READ_REG(dr3);
+GEN_READ_REG(dr6);
+GEN_READ_REG(dr7);
+
+GEN_WRITE_REG(dr0);
+GEN_WRITE_REG(dr1);
+GEN_WRITE_REG(dr2);
+GEN_WRITE_REG(dr3);
+GEN_WRITE_REG(dr6);
+GEN_WRITE_REG(dr7);
 
 extern void asm_delay_loop(uint32_t);