1/* SPDX-License-Identifier: GPL-2.0 */
2static inline void init_mmu(void)
3{
4}
5
6static inline void init_kio(void)
7{
8}
9
10#include <asm-generic/nommu_context.h>
11