6 use std::num::Wrapping;
224     next_avail: Wrapping<u16>,
225     next_used: Wrapping<u16>,
229     last_used: Wrapping<u16>,
248             next_avail: Wrapping(0),  in new()
249             next_used: Wrapping(0),  in new()
251             last_used: Wrapping(0),  in new()
270         self.next_avail = Wrapping(0);  in reset()
271         self.next_used = Wrapping(0);  in reset()
273         self.last_used = Wrapping(0);  in reset()
331     fn get_avail_index(&self, mem: &GuestMemory) -> Wrapping<u16> {  in get_avail_index()
338         Wrapping(avail_index)  in get_avail_index()
347     fn set_avail_event(&mut self, mem: &GuestMemory, avail_index: Wrapping<u16>) {  in set_avail_event()
371     fn get_used_event(&self, mem: &GuestMemory) -> Wrapping<u16> {  in get_used_event()
376         Wrapping(used_event)  in get_used_event()
383     fn set_used_index(&mut self, mem: &GuestMemory, used_index: Wrapping<u16>) {  in set_used_index()
432         self.next_avail += Wrapping(1);  in pop_peeked()
487         self.next_used += Wrapping(1);  in add_used()
524             self.next_used - used_event - Wrapping(1) < self.next_used - self.last_used  in available_interrupt_enabled()
690         let mut device_generate: Wrapping<u16> = Wrapping(0x100);  in queue_event_id_guest_fast()
712         device_generate = Wrapping(u16::max_value());  in queue_event_id_guest_fast()
729         device_generate += Wrapping(1);  in queue_event_id_guest_fast()
766         let mut device_generate: Wrapping<u16> = Wrapping(0x100);  in queue_event_id_guest_slow()
776         let mut driver_handled = Wrapping(0x80);  in queue_event_id_guest_slow()
786         device_generate += Wrapping(1);  in queue_event_id_guest_slow()
797         device_generate = Wrapping(u16::max_value());  in queue_event_id_guest_slow()
804         driver_handled = device_generate - Wrapping(1);  in queue_event_id_guest_slow()
810         device_generate += Wrapping(1);  in queue_event_id_guest_slow()
819         device_generate += Wrapping(1);  in queue_event_id_guest_slow()
836         device_generate += Wrapping(1);  in queue_event_id_guest_slow()