include/exec/cputlb.h

   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 */
  27 void tlb_protect_code(ram_addr_t ram_addr);
  28 void tlb_unprotect_code(ram_addr_t ram_addr);
  29 void tlb_flush_counts(size_t *full, size_t *part, size_t *elide);
  30 #endif
  31 #endif