/* SPDX-License-Identifier: GPL-2.0 */ static inline void init_mmu(void) { } static inline void init_kio(void) { } #include <asm-generic/nommu_context.h>