[Xen-devel] [PATCH] make SMP boot again with gcc 4


Thread view