| 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 |