Searched refs:auto_eoi_old (Results 1 – 1 of 1) sorted by relevance
93 int auto_eoi_old, auto_eoi_new; in synic_update_vector() local103 auto_eoi_old = bitmap_weight(synic->auto_eoi_bitmap, 256); in synic_update_vector()112 if (!!auto_eoi_old == !!auto_eoi_new) in synic_update_vector()