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