/* SPDX-License-Identifier: GPL-2.0 */
/* * CRIS MMU constants and PTE layout */ #ifndef _CRIS_MMU_H #define _CRIS_MMU_H
#include <arch/mmu.h>
#endif