Lines Matching refs:tmr_val
101 uint32_t tmr_val = acpi->tmr_val, msb = tmr_val & TMR_VAL_MSB; in pmt_update_time() local
109 tmr_val += tmp >> 32; in pmt_update_time()
110 tmr_val &= TMR_VAL_MASK; in pmt_update_time()
114 write_atomic(&acpi->tmr_val, tmr_val); in pmt_update_time()
117 if ( (tmr_val & TMR_VAL_MSB) != msb ) in pmt_update_time()
140 (s->vcpu->domain->arch.hvm_domain.acpi.tmr_val & (TMR_VAL_MSB - 1)); in pmt_timer_callback()
235 *val = acpi->tmr_val; in handle_pmt_io()
246 *val = read_atomic(&acpi->tmr_val); in handle_pmt_io()
256 uint32_t x, msb = acpi->tmr_val & TMR_VAL_MSB; in acpi_save()
271 acpi->tmr_val += x; in acpi_save()
272 if ( (acpi->tmr_val & TMR_VAL_MSB) != msb ) in acpi_save()
387 d->arch.hvm_domain.acpi.tmr_val = 0; in pmtimer_reset()