Searched refs:xen_setup_gdt (Results 1 – 1 of 1) sorted by relevance
1413 static void __ref xen_setup_gdt(int cpu) in xen_setup_gdt() function1494 xen_setup_gdt(cpu); in xen_pvh_secondary_vcpu_init()1582 xen_setup_gdt(0); in xen_start_kernel()