Searched refs:read_vtimer_counter (Results 1 – 1 of 1) sorted by relevance
25 static u64 read_vtimer_counter(void) in read_vtimer_counter() function117 .read_counter = read_vtimer_counter,