Searched refs:start_bit_idx (Results 1 – 1 of 1) sorted by relevance
1323 int start_word_idx, start_bit_idx; in __xen_evtchn_do_upcall() local1360 start_bit_idx = __this_cpu_read(current_bit_idx); in __xen_evtchn_do_upcall()1385 bit_idx = start_bit_idx; in __xen_evtchn_do_upcall()1388 bit_idx &= (1UL << start_bit_idx) - 1; in __xen_evtchn_do_upcall()