> That's right, it doesn't.. the amd64 port doesn't use per-CPU GDTs. > The ci_gdt part of the cpu_info structure points to the same area > for each CPU. gdt_alloc_cpu allocates per-cpu ci_gdt and then mptramp.S (and cpu_hatch) loads it. am i misreading the code? YAMAMOTO Takashi