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