redirhi            50 arch/i386/i386/apic.c apic_format_redir(char *where1, char *where2, int idx, u_int32_t redirhi,
redirhi            56 arch/i386/i386/apic.c 		printf(" 0x%x", redirhi);
redirhi           217 arch/i386/i386/ioapic.c 	u_int32_t redirhi = ioapic_read(sc, IOAPIC_REDHI(pin));
redirhi           219 arch/i386/i386/ioapic.c 	apic_format_redir(sc->sc_dev.dv_xname, why, pin, redirhi, redirlo);