[PATCH] x86_64: Fix cluster mode send_IPI_allbutself to use get_cpu()/put_cpu()
[linux-2.6/mini2440.git] / drivers / misc / 
treef88802f1adc40129fec57db4200cf29a9dc83bb0
drwxr-xr-x   ..
-rw-r--r-- 1071 Kconfig
-rw-r--r-- 203 Makefile
drwxr-xr-x - hdpuftrs
drwxr-xr-x - ibmasm