io/apix/apix.c

1897 	int waited, ioapic_ix, intin_no, level, repeats, rdt_entry, masked;
1928 		rdt_entry = READ_IOAPIC_RDT_ENTRY_LOW_DWORD(ioapic_ix,
1930 		if ((masked = (rdt_entry & AV_MASK)) == 0) {
1933 			    AV_MASK | rdt_entry);
1944 		rdt_entry = READ_IOAPIC_RDT_ENTRY_LOW_DWORD(ioapic_ix,
1946 		if ((masked == 0) && ((rdt_entry & AV_PENDING) != 0) &&
1950 			    intin_no, rdt_entry & ~AV_MASK);
1953 	} while ((rdt_entry & AV_PENDING) &&
2083 	int intin, ioapixindex, rdt_entry;
2099 	rdt_entry = READ_IOAPIC_RDT_ENTRY_LOW_DWORD(ioapixindex, intin);
2103 	    (AV_MASK | rdt_entry));
2112 	int intin, ioapixindex, rdt_entry;
2128 	rdt_entry = READ_IOAPIC_RDT_ENTRY_LOW_DWORD(ioapixindex, intin);
2132 	    ((~AV_MASK) & rdt_entry));