1/* SPDX-License-Identifier: GPL-2.0 */ 2/* 3 * CRIS MMU constants and PTE layout 4 */ 5 6#ifndef _CRIS_MMU_H 7#define _CRIS_MMU_H 8 9#include <arch/mmu.h> 10 11#endif
tjh.dev