x86_64: adjust formatting

arch/x86_64/include/mango/machine/cpu.h

@@ -3,16 +3,24 @@
 
 #include <arch/gdt.h>
 #include <arch/irq.h>
+#include <arch/tss.h>
+#include <mango/types.h>
 
 #ifdef __cplusplus
 extern "C" {
 #endif
 
-#define ML_BIG_ENDIAN 0
+#define ML_BIG_ENDIAN            0
 
-#define ml_cpu_block_get_id(p) ((p)->c_cpu_id)
+#define ml_cpu_block_get_id(p)   ((p)->c_cpu_id)
 #define ml_cpu_block_get_data(p) ((p)->c_data)
 
+#if 0
+#define ml_read_sp(sp, bp)                                                     \
+	asm volatile("mov %%rsp, %0" : "=r"(sp));                              \
+	asm volatile("mov %%rbp, %0" : "=r"(bp));
+#endif
+
 struct cpu_data;
 
 typedef struct ml_cpu_block {