x86: move default_ipi_xx back to ipi.c
[linux-2.6] / arch / x86 / include /
drwxr-xr-x   ..
drwxr-xr-x - asm