56 #include "system/accel-ops.h"
204     if (!cpu->accel->dirty) {  in do_hvf_cpu_synchronize_state()
206         cpu->accel->dirty = true;  in do_hvf_cpu_synchronize_state()
212     if (!cpu->accel->dirty) {  in hvf_cpu_synchronize_state()
221     cpu->accel->dirty = true;  in do_hvf_cpu_synchronize_set_dirty()
382     hv_return_t ret = hv_vcpu_destroy(cpu->accel->fd);  in hvf_vcpu_destroy()
386     g_free(cpu->accel);  in hvf_vcpu_destroy()
387     cpu->accel = NULL;  in hvf_vcpu_destroy()
394     cpu->accel = g_new0(AccelCPUState, 1);  in hvf_init_vcpu()
403     pthread_sigmask(SIG_BLOCK, NULL, &cpu->accel->unblock_ipi_mask);  in hvf_init_vcpu()
404     sigdelset(&cpu->accel->unblock_ipi_mask, SIG_IPI);  in hvf_init_vcpu()
407     r = hv_vcpu_create(&cpu->accel->fd,  in hvf_init_vcpu()
408                        (hv_vcpu_exit_t **)&cpu->accel->exit, NULL);  in hvf_init_vcpu()
410     r = hv_vcpu_create(&cpu->accel->fd, HV_VCPU_DEFAULT);  in hvf_init_vcpu()
412     cpu->accel->dirty = true;  in hvf_init_vcpu()
415     cpu->accel->guest_debug_enabled = false;  in hvf_init_vcpu()