Searched refs:vtimer_masked (Results 1 – 2 of 2) sorted by relevance
57 bool vtimer_masked; member
1851 if (!cpu->accel->vtimer_masked) { in hvf_sync_vtimer()1866 cpu->accel->vtimer_masked = false; in hvf_sync_vtimer()1906 cpu->accel->vtimer_masked = true; in hvf_vcpu_exec()