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