Searched refs:write_gdt_entry (Results 1 – 3 of 3) sorted by relevance
190 write_gdt_entry(desc, GDT_ENTRY_TSS, &tss, DESC_TSS); in hv_mark_tss_not_busy()
75 void (*write_gdt_entry)(struct desc_struct *, member
2351 write_gdt_entry(get_cpu_gdt_rw(cpu), GDT_ENTRY_CPUNODE, &d, DESCTYPE_S); in setup_getcpu()