Searched defs:pv_destroy_gdt (Results 1 – 2 of 2) sorted by relevance
50 static inline void pv_destroy_gdt(struct vcpu *v) { ASSERT_UNREACHABLE(); } in pv_destroy_gdt() function
61 void pv_destroy_gdt(struct vcpu *v) in pv_destroy_gdt() function
Completed in 4 milliseconds