applied to tip/x86/uv, thanks Cliff.
hm, it was already there in tip/master, so i left this bit out.
also, this should not be in /proc, but be moved to debugfs. See
arch/x86/mm/dump_pagetables.c about how to interface to debugfs.
And the "64" value should become something like:
static const int max_option_len = 64;
or so.
Ingo
--