Xintrddbipi       509 arch/i386/i386/cpu.c extern vector Xintrddbipi;
Xintrddbipi       537 arch/i386/i386/cpu.c 	    Xintrddbipi);