|
@@ -29,16 +29,6 @@
|
|
|
|
|
|
#if !defined(CONFIG_USER_ONLY) && defined(CONFIG_TCG)
|
|
#if !defined(CONFIG_USER_ONLY) && defined(CONFIG_TCG)
|
|
/* cputlb.c */
|
|
/* cputlb.c */
|
|
-/**
|
|
|
|
- * tlb_init - initialize a CPU's TLB
|
|
|
|
- * @cpu: CPU whose TLB should be initialized
|
|
|
|
- */
|
|
|
|
-void tlb_init(CPUState *cpu);
|
|
|
|
-/**
|
|
|
|
- * tlb_destroy - destroy a CPU's TLB
|
|
|
|
- * @cpu: CPU whose TLB should be destroyed
|
|
|
|
- */
|
|
|
|
-void tlb_destroy(CPUState *cpu);
|
|
|
|
/**
|
|
/**
|
|
* tlb_flush_page:
|
|
* tlb_flush_page:
|
|
* @cpu: CPU whose TLB should be flushed
|
|
* @cpu: CPU whose TLB should be flushed
|
|
@@ -223,12 +213,6 @@ void tlb_set_page(CPUState *cpu, vaddr addr,
|
|
hwaddr paddr, int prot,
|
|
hwaddr paddr, int prot,
|
|
int mmu_idx, vaddr size);
|
|
int mmu_idx, vaddr size);
|
|
#else
|
|
#else
|
|
-static inline void tlb_init(CPUState *cpu)
|
|
|
|
-{
|
|
|
|
-}
|
|
|
|
-static inline void tlb_destroy(CPUState *cpu)
|
|
|
|
-{
|
|
|
|
-}
|
|
|
|
static inline void tlb_flush_page(CPUState *cpu, vaddr addr)
|
|
static inline void tlb_flush_page(CPUState *cpu, vaddr addr)
|
|
{
|
|
{
|
|
}
|
|
}
|