/* * Copyright (C) 2012 by Marc Kleine-Budde <mkl@pengutronix.de> * * This file is released under the GPLv2 * */ #include <asm/mmu.h>