Searched refs:SET_COUNTER_VALUE (Results 1 – 1 of 1) sorted by relevance
78 SET_COUNTER_VALUE, enumerator142 GUEST_SYNC_ARGS(SET_COUNTER_VALUE, counter, timer, 0, 0); in set_counter()880 case SET_COUNTER_VALUE: in handle_sync()