Searched refs:xen_setup_gdt (Results 1 – 1 of 1) sorted by relevance
1405 static void __ref xen_setup_gdt(int cpu) in xen_setup_gdt() function1486 xen_setup_gdt(cpu); in xen_pvh_secondary_vcpu_init()1571 xen_setup_gdt(0); in xen_start_kernel()