/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _PARISC_MMU_H_
#define _PARISC_MMU_H_

/* On parisc, we store the space id here */
typedef unsigned long mm_context_t;

#endif /* _PARISC_MMU_H_ */