On Tue, Nov 03, 2015 at 11:46:30AM -0800, Palmer Dabbelt wrote: > This has a "#ifdef CONFIG_*" that used to be exposed to userspace. > > The names in here are so generic that I don't think it's a good idea > to expose them to userspace (or even the rest of the kernel). Since > there's only one kernel user, it's been moved to that file. > > Signed-off-by: Palmer Dabbelt <palmer at dabbelt.com> > Reviewed-by: Andrew Waterman <waterman at eecs.berkeley.edu> > Reviewed-by: Albert Ou <aou at eecs.berkeley.edu> Assuming you want to keep all these patches together in a tree or so. Let me know if you want me to take this patch. Acked-by: Peter Zijlstra (Intel) <peterz at infradead.org>