sparc64: Use cpumask_t pointers and for_each_cpu_mask_nr() in xcall_deliver.
[linux-2.6] / arch / x86 / lguest /
drwxr-xr-x   ..
-rw-r--r-- 491 Kconfig
-rw-r--r-- 29 Makefile
-rw-r--r-- 41532 boot.c
-rw-r--r-- 5634 i386_head.S