diff --git a/sys/amd64/machine.c b/sys/amd64/machine.c
index 9b68be8..7ab99f4 100644
--- a/sys/amd64/machine.c
+++ b/sys/amd64/machine.c
@@ -44,11 +44,10 @@ static char df_stack[4096];
 /**
  * Machine_GDTInit --
  *  
- *	Configures the Global Descriptor Table (GDT) that lists all segments 
- *	and privilege levels in x86.  64-bit mode uses flat 64-bit segments and 
- *	doesn't support offsets and limits except for the special FS/GS segment 
- *	registers.  We create four segments for the kernel code/data and user 
- *	code/data.
+ * Configures the Global Descriptor Table (GDT) that lists all segments and 
+ * privilege levels in x86.  64-bit mode uses flat 64-bit segments and doesn't 
+ * support offsets and limits except for the special FS/GS segment registers.  
+ * We create four segments for the kernel code/data and user code/data.
  */
 static void
 Machine_GDTInit()
@@ -88,8 +87,8 @@ Machine_GDTInit()
 /**
  * Machine_TSSInit --
  *
- *	Configures the Task State Segment (TSS) that specifies the kernel stack 
- *	pointer during an interrupt.
+ * Configures the Task State Segment (TSS) that specifies the kernel stack 
+ * pointer during an interrupt.
  */
 static void
 Machine_TSSInit()
@@ -122,9 +121,8 @@ Machine_TSSInit()
 /**
  * Machine_SyscallInit --
  *
- *	Configure the model specific registers (MSRs) that specify how to 
- *	transfer control to the operating system when the system call 
- *	instruction is invoked.
+ * Configure the model specific registers (MSRs) that specify how to transfer 
+ * control to the operating system when the system call instruction is invoked.
  */
 static void
 Machine_SyscallInit()
@@ -142,7 +140,7 @@ Machine_SyscallInit()
 /**
  * Machine_EarlyInit --
  *
- *	Initializes early kernel state.
+ * Initializes early kernel state.
  */
 void
 Machine_EarlyInit()
@@ -164,9 +162,9 @@ Machine_IdleThread(void *test)
 /**
  * Machine_Init --
  *
- *	At this point the assembly startup code has setup temporary processor 
- *	data structures sufficient to execute C code and make it through this 
- *	initialization routine.
+ * At this point the assembly startup code has setup temporary processor data 
+ * structures sufficient to execute C code and make it through this 
+ * initialization routine.
  */
 void Machine_Init()
 {
@@ -248,7 +246,7 @@ void Machine_Init()
 /**
  * Machine_InitAP --
  *
- *	Shorter initialization routine for co-processors.
+ * Shorter initialization routine for co-processors.
  */
 void Machine_InitAP()
 {