Searched refs:need_full_gdt (Results 1 – 1 of 1) sorted by relevance
1654 static always_inline bool need_full_gdt(const struct domain *d) in need_full_gdt() function1737 if ( need_full_gdt(nd) ) in __context_switch()1741 ((p->vcpu_id != n->vcpu_id) || !need_full_gdt(nd)) ) in __context_switch()1753 if ( need_full_gdt(nd) && !per_cpu(full_gdt_loaded, cpu) ) in __context_switch()
Completed in 4 milliseconds