2013-03-12 08:31:06 +08:00
|
|
|
#if !defined (__MMU_HASH64_H__)
|
|
|
|
#define __MMU_HASH64_H__
|
|
|
|
|
|
|
|
#ifndef CONFIG_USER_ONLY
|
|
|
|
|
|
|
|
#ifdef TARGET_PPC64
|
|
|
|
void dump_slb(FILE *f, fprintf_function cpu_fprintf, CPUPPCState *env);
|
|
|
|
int ppc_store_slb (CPUPPCState *env, target_ulong rb, target_ulong rs);
|
2013-03-12 08:31:11 +08:00
|
|
|
int ppc_hash64_get_physical_address(CPUPPCState *env, mmu_ctx_t *ctx,
|
|
|
|
target_ulong eaddr, int rw, int access_type);
|
2013-03-12 08:31:12 +08:00
|
|
|
int ppc_hash64_handle_mmu_fault(CPUPPCState *env, target_ulong address, int rw,
|
|
|
|
int mmu_idx);
|
2013-03-12 08:31:06 +08:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif /* CONFIG_USER_ONLY */
|
|
|
|
|
|
|
|
#endif /* !defined (__MMU_HASH64_H__) */
|