target/mips/tcg/tcg-internal.h

   1 /*
   2  * MIPS internal definitions and helpers (TCG accelerator)
   3  *
   4  * SPDX-License-Identifier: GPL-2.0-or-later
   5  *
   6  * This work is licensed under the terms of the GNU GPL, version 2 or later.
   7  * See the COPYING file in the top-level directory.
   8  */
   9
  10 #ifndef MIPS_TCG_INTERNAL_H
  11 #define MIPS_TCG_INTERNAL_H
  12
  13 #include "hw/core/cpu.h"
  14 #include "cpu.h"
  15
  16 void mips_cpu_do_interrupt(CPUState *cpu);
  17 bool mips_cpu_tlb_fill(CPUState *cs, vaddr address, int size,
  18                        MMUAccessType access_type, int mmu_idx,
  19                        bool probe, uintptr_t retaddr);
  20
  21 #if !defined(CONFIG_USER_ONLY)
  22
  23 void update_pagemask(CPUMIPSState *env, target_ulong arg1, int32_t *pagemask);
  24
  25 uint32_t cpu_mips_get_random(CPUMIPSState *env);
  26
  27 #endif /* !CONFIG_USER_ONLY */
  28
  29 #endif