/* SPDX-License-Identifier: GPL-2.0 *//* * Copyright (C) 2002 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com) */#ifndef __ARCH_UM_MMU_H#define __ARCH_UM_MMU_H#include<mm_id.h>typedefstructmm_context{structmm_idid;/* Address range in need of a TLB sync */unsignedlongsync_tlb_range_from;unsignedlongsync_tlb_range_to;}mm_context_t;#endif