Searched refs:hvm_update_guest_vendor (Results 1 – 3 of 3) sorted by relevance
337 static inline void hvm_update_guest_vendor(struct vcpu *v) in hvm_update_guest_vendor() function
136 hvm_update_guest_vendor(v); in update_domain_cpuid_info()
1558 hvm_update_guest_vendor(v); in hvm_vcpu_initialise()
Completed in 13 milliseconds