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