where1             50 arch/i386/i386/apic.c apic_format_redir(char *where1, char *where2, int idx, u_int32_t redirhi,
where1             53 arch/i386/i386/apic.c 	printf("%s: %s%d 0x%x", where1, where2, idx, redirlo);