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