Searched refs:xen_setup_gdt (Results 1 – 1 of 1) sorted by relevance
1300 static void __init xen_setup_gdt(int cpu) in xen_setup_gdt() function1397 xen_setup_gdt(0); in xen_start_kernel()