redhi             399 arch/i386/i386/ioapic.c 	u_int32_t redhi = 0;
redhi             430 arch/i386/i386/ioapic.c 		redhi |= (ioapic_bsp_id << IOAPIC_REDHI_DEST_SHIFT);
redhi             446 arch/i386/i386/ioapic.c 	ioapic_write(sc, IOAPIC_REDHI(pin), redhi);