linux/arch/x86/kernel/+code=switch_to_new_gdt
<<
>>
Prefs
Node not found: arch/x86/kernel/+code=switch_to_new_gdt (v2.6.32)