Searched refs:SET_COUNTER_VALUE (Results 1 – 1 of 1) sorted by relevance
77 SET_COUNTER_VALUE, enumerator141 GUEST_SYNC_ARGS(SET_COUNTER_VALUE, counter, timer, 0, 0); in set_counter()905 case SET_COUNTER_VALUE: in handle_sync()