]> git.karo-electronics.de Git - karo-tx-linux.git/search
[PATCH] x86-64: Fix vgetcpu when CONFIG_HOTPLUG_CPU is disabled