3
* Stefan Roese, DENX Software Engineering, sr@denx.de.
5
* SPDX-License-Identifier: GPL-2.0+
8
#include <ppc_asm.tmpl>
11
#include <asm/ppc4xx.h>
13
/**************************************************************************
16
* This table is used by the cpu boot code to setup the initial tlb
17
* entries. Rather than make broad assumptions in the cpu source tree,
18
* this table lets each board set things up however they like.
20
* Pointer to the table is returned in r1
22
*************************************************************************/
29
tlbentry( 0xf0000000, SZ_256M, 0xf0000000, 1, AC_RWX | SA_IG)
30
tlbentry( CONFIG_SYS_PERIPHERAL_BASE, SZ_256M, 0x40000000, 1, AC_RW | SA_IG)
31
tlbentry( CONFIG_SYS_ISRAM_BASE, SZ_256K, 0x80000000, 0, AC_RWX )
32
tlbentry( CONFIG_SYS_SDRAM_BASE, SZ_256M, 0x00000000, 0, AC_RWX | SA_IG )
33
tlbentry( CONFIG_SYS_PCI_BASE, SZ_256M, 0x00000000, 2, AC_RW | SA_IG )
34
tlbentry( CONFIG_SYS_PCI_MEMBASE, SZ_256M, 0x00000000, 3, AC_RW | SA_IG )