1/*
2 * Common CPU TLB handling
3 *
4 * Copyright (c) 2003 Fabrice Bellard
5 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18 */
19
20#ifndef CPUTLB_H
21#define CPUTLB_H
22
23#include "exec/cpu-common.h"
24
25#if !defined(CONFIG_USER_ONLY)
26/* cputlb.c */
27void tlb_protect_code(ram_addr_t ram_addr);
28void tlb_unprotect_code(ram_addr_t ram_addr);
29void tlb_flush_counts(size_t *full, size_t *part, size_t *elide);
30#endif
31#endif
32