| 1 | #ifndef MMU_RADIX64_H |
| 2 | #define MMU_RADIX64_H |
| 3 | |
| 4 | #ifndef CONFIG_USER_ONLY |
| 5 | |
| 6 | #ifdef TARGET_PPC64 |
| 7 | |
| 8 | /* Radix Quadrants */ |
| 9 | #define R_EADDR_MASK 0x3FFFFFFFFFFFFFFF |
| 10 | #define R_EADDR_VALID_MASK 0xC00FFFFFFFFFFFFF |
| 11 | #define R_EADDR_QUADRANT 0xC000000000000000 |
| 12 | #define R_EADDR_QUADRANT0 0x0000000000000000 |
| 13 | #define R_EADDR_QUADRANT1 0x4000000000000000 |
| 14 | #define R_EADDR_QUADRANT2 0x8000000000000000 |
| 15 | #define R_EADDR_QUADRANT3 0xC000000000000000 |
| 16 | |
| 17 | bool ppc_radix64_xlate(PowerPCCPU *cpu, vaddr eaddr, MMUAccessType access_type, |
| 18 | hwaddr *raddr, int *psizep, int *protp, int mmu_idx, |
| 19 | bool guest_visible); |
| 20 | |
| 21 | #endif /* TARGET_PPC64 */ |
| 22 | |
| 23 | #endif /* CONFIG_USER_ONLY */ |
| 24 | |
| 25 | #endif /* MMU_RADIX64_H */ |