Searched refs:hvf_arch_vcpu_destroy (Results 1 – 8 of 8) sorted by relevance
61 void hvf_arch_vcpu_destroy(CPUState *cpu);
369 hvf_arch_vcpu_destroy(cpu); in hvf_vcpu_destroy()
361 hvf_arch_vcpu_destroy(cpu); in hvf_vcpu_destroy()
160 void hvf_arch_vcpu_destroy(CPUState *cpu) in hvf_arch_vcpu_destroy() function
529 void hvf_arch_vcpu_destroy(CPUState *cpu) in hvf_arch_vcpu_destroy() function