1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef __MMU_H 3#define __MMU_H 4 5/* 6 * Type for a context number. We declare it volatile to ensure proper 7 * ordering when it's accessed outside of spinlock'd critical sections 8 * (e.g., as done in activate_mm() and init_new_context()). 9 */ 10typedef volatile unsigned long mm_context_t; 11 12typedef unsigned long nv_mm_context_t; 13 14#endif 15