Searched refs:counter_id (Results 1 – 3 of 3) sorted by relevance
69 uint8_t counter_id; /* Matches VIRTIO_RTC_COUNTER_xxx except INVALID */ member
150 vms->clk->counter_id = VMCLOCK_COUNTER_INVALID; in vmclock_realize()
66 nrf51_timer_set_count(uint8_t timer_id, uint8_t counter_id, uint32_t value) "timer %u counter %u co…