DT_DATA_WRITEABLE
set_segment_descriptor(&virtualGDT[2], 0, 0xffffffff, DT_DATA_WRITEABLE,
set_segment_descriptor(&virtualGDT[4], 0, 0xffffffff, DT_DATA_WRITEABLE,
set_segment_descriptor(&virtualGDT[2], 0, 0xffffffff, DT_DATA_WRITEABLE,
set_segment_descriptor(&virtualGDT[4], 0, 0xffffffff, DT_DATA_WRITEABLE,
set_segment_descriptor(&virtualGDT[2], 0, 0xffffffff, DT_DATA_WRITEABLE,
set_segment_descriptor(&virtualGDT[4], 0, 0xffffffff, DT_DATA_WRITEABLE,
set_segment_descriptor(&gBootGDT[KERNEL_DATA_SEGMENT], DT_DATA_WRITEABLE,
set_segment_descriptor(&gBootGDT[USER_DATA_SEGMENT], DT_DATA_WRITEABLE,
DT_DATA_WRITEABLE, DPL_KERNEL);
DT_DATA_WRITEABLE, DPL_USER);
set_segment_descriptor(&tempGDT[2], 0, 0xffffffff, DT_DATA_WRITEABLE,
DT_DATA_WRITEABLE, DPL_KERNEL);
DT_DATA_WRITEABLE, DPL_USER);
set_segment_descriptor(&gBootGDT[KERNEL_DATA_SEGMENT], DT_DATA_WRITEABLE,
set_segment_descriptor(&gBootGDT[USER_DATA_SEGMENT], DT_DATA_WRITEABLE,
B_PAGE_SIZE - biosData, DT_DATA_WRITEABLE, DPL_KERNEL);
DT_DATA_WRITEABLE, DPL_KERNEL);
DT_DATA_WRITEABLE, DPL_KERNEL);
DT_DATA_WRITEABLE, DPL_KERNEL);
DT_DATA_WRITEABLE, DPL_USER);
(addr_t)&gCPU[cpu].arch.kernel_tls, sizeof(void*), DT_DATA_WRITEABLE,
DT_DATA_WRITEABLE, DPL_USER);