162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef __MMU_H
362306a36Sopenharmony_ci#define __MMU_H
462306a36Sopenharmony_ci
562306a36Sopenharmony_ci#ifdef CONFIG_MMU
662306a36Sopenharmony_ci/* Default "unsigned long" context */
762306a36Sopenharmony_citypedef unsigned long mm_context_t;
862306a36Sopenharmony_ci#else
962306a36Sopenharmony_ci#include <asm-generic/mmu.h>
1062306a36Sopenharmony_ci#endif
1162306a36Sopenharmony_ci
1262306a36Sopenharmony_ci#endif
13