x86: cpu/common*.c, merge switch_to_new_gdt()
This page took 0.050301 seconds and 4 git commands to generate.