Searched refs:xen_write_gdt_entry_boot (Results 1 – 1 of 1) sorted by relevance
932 static void __init xen_write_gdt_entry_boot(struct desc_struct *dt, int entry, in xen_write_gdt_entry_boot() function1451 pv_cpu_ops.write_gdt_entry = xen_write_gdt_entry_boot; in xen_setup_gdt()