x86: don't call '->send_IPI_mask()' with an empty mask
[linux-2.6/mini2440.git] / arch / ia64 / hp / 
tree7a764790dbfc5be34f2955a14b2a0516ee07c5b4
drwxr-xr-x   ..
drwxr-xr-x - common
drwxr-xr-x - sim
drwxr-xr-x - zx1