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