-
Christoph Egger authored
CONFIG_HIGHPTE doesn't exist in Kconfig, therefore removing all references for it from the source code. Signed-off-by:
Christoph Egger <siccegge@cs.fau.de> Signed-off-by:
Benjamin Herrenschmidt <benh@kernel.crashing.org>
8054a342