Searched refs:pv_destroy_gdt (Results 1 – 4 of 4) sorted by relevance
29 void pv_destroy_gdt(struct vcpu *v);48 static inline void pv_destroy_gdt(struct vcpu *v) { ASSERT_UNREACHABLE(); } in pv_destroy_gdt() function
38 void pv_destroy_gdt(struct vcpu *v) in pv_destroy_gdt() function83 pv_destroy_gdt(v); in pv_set_gdt()
907 pv_destroy_gdt(v); in dom0_construct_pv()
1129 pv_destroy_gdt(v); in arch_set_info_guest()1181 pv_destroy_gdt(v); in arch_vcpu_reset()1944 pv_destroy_gdt(v); in domain_relinquish_resources()
Completed in 7 milliseconds