1 #ifndef PPC_MMU_BOOKE_H 2 #define PPC_MMU_BOOKE_H 3 4 #include "cpu.h" 5 6 int ppcemb_tlb_search(CPUPPCState *env, target_ulong address, uint32_t pid); 7 int mmu40x_get_physical_address(CPUPPCState *env, hwaddr *raddr, int *prot, 8 target_ulong address, 9 MMUAccessType access_type); 10 hwaddr booke206_tlb_to_page_size(CPUPPCState *env, ppcmas_tlb_t *tlb); 11 int ppcmas_tlb_check(CPUPPCState *env, ppcmas_tlb_t *tlb, hwaddr *raddrp, 12 target_ulong address, uint32_t pid); 13 bool ppc_booke_xlate(PowerPCCPU *cpu, vaddr eaddr, MMUAccessType access_type, 14 hwaddr *raddrp, int *psizep, int *protp, int mmu_idx, 15 bool guest_visible); 16 17 #endif 18