Cleanup machine.c

This commit is contained in:
Ali Mashtizadeh 2023-09-10 16:32:03 -04:00
parent ddab13b829
commit ce4bc130af

View File

@ -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()
@ -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()
@ -164,8 +162,8 @@ 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
* 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()