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