Searched refs:npt_bit (Results 1 – 1 of 1) sorted by relevance
200 uint64_t npt_bit = count & timer->npt_mask; in cpu_tick_set_count() local209 timer->npt = npt_bit ? 1 : 0; in cpu_tick_set_count()