gdtr_store 94 kernel/arch/amd64/src/ddi/ddi.c gdtr_store(&cpugdtr); gdtr_store 94 kernel/arch/ia32/src/ddi/ddi.c gdtr_store(&cpugdtr);