if IPI irq is send, pass it to IPI handler. Also added initial IPI code
[AROS.git] / arch / x86_64-all / 
treef6f6ead7e100bb8957c7f02c0d405ecff9710beb
drwxr-xr-x   ..
drwxr-xr-x - exec
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - posixc
drwxr-xr-x - stdc