Searched refs:hvf_vtimer_val (Results 1 – 1 of 1) sorted by relevance
1707 static uint64_t hvf_vtimer_val(void) in hvf_vtimer_val() function1758 ticks_to_sleep = cval - hvf_vtimer_val(); in hvf_wfi()