18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _PARISC_MMU_H_
38c2ecf20Sopenharmony_ci#define _PARISC_MMU_H_
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci/* On parisc, we store the space id here */
68c2ecf20Sopenharmony_citypedef unsigned long mm_context_t;
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#endif /* _PARISC_MMU_H_ */
9