Searched refs:vtimer_phys_tval_write (Results 1 – 2 of 2) sorted by relevance
466 vtimer_phys_tval_write(struct vcpu *vcpu, uint64_t wval, void *arg) in vtimer_phys_tval_write() function
707 vtimer_phys_tval_write),