1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _LINUX_MMU_CONTEXT_H
3#define _LINUX_MMU_CONTEXT_H
4
5#include <asm/mmu_context.h>
6#include <asm/mmu.h>
7
8/* Architectures that care about IRQ state in switch_mm can override this. */
9#ifndef switch_mm_irqs_off
10#define switch_mm_irqs_off switch_mm
11#endif
12
13#ifndef leave_mm
14static inline void leave_mm(int cpu)
15{
16}
17#endif
18
19/*
20 * CPUs that are capable of running task @p. By default, we assume a sane,
21 * homogeneous system. Must contain at least one active CPU.
22 */
23#ifndef task_cpu_possible_mask
24#define task_cpu_possible_mask(p) cpu_possible_mask
25#endif
26
27#endif
28