void pm_setup(void) { cr0_set(cr0_get() | CR0_PM); cs_set(KERNEL_CS); ds_set(KERNEL_DS); es_set(KERNEL_DS); fs_set(KERNEL_DS); gs_set(KERNEL_DS); ss_set(KERNEL_DS); console_message(T_OK, "Kernel now running in protected-mode"); }
static void s3c_cs_setF15(int pin, int lvl) { cs_set(15, lvl); }
static void s3c_cs_setF14(int pin, int lvl) { cs_set(14, lvl); }
static void s3c_cs_setF13(int pin, int lvl) { cs_set(13, lvl); }