Searched refs:vtimer_phys_ctl_read (Results 1 – 2 of 2) sorted by relevance
337 vtimer_phys_ctl_read(struct vcpu *vcpu, uint64_t *rval, void *arg) in vtimer_phys_ctl_read() function
703 SPECIAL_REG(CNTP_CTL_EL0, vtimer_phys_ctl_read, vtimer_phys_ctl_write),