Lines Matching refs:val64
475 uint64_t data, mask, oldval, val64;
555 val64 = vhpet_counter(vhpet, NULL);
556 update_register(&val64, data, mask);
557 vhpet->countbase = val64;
581 val64 = vhpet->timer[i].comprate;
582 update_register(&val64, data, mask);
583 vhpet->timer[i].comprate = val64;
586 vhpet->timer[i].compval = val64;
592 val64 = vhpet->timer[i].compval;
593 update_register(&val64, data, mask);
594 vhpet->timer[i].compval = val64;