TLB_PG_SIZE
for (vaddr_t va = 0; va < endkernel; va += TLB_PG_SIZE)
ppc4xx_tlb_reserve(va, va, TLB_PG_SIZE, TLB_EX);
ppc4xx_tlb_reserve(IBM405GP_UART0_BASE, roundup(memsize, TLB_PG_SIZE),
TLB_PG_SIZE, TLB_I | TLB_G);
for (maddr = 0; maddr < endkernel; maddr += TLB_PG_SIZE)
ppc4xx_tlb_reserve(maddr, maddr, TLB_PG_SIZE, TLB_EX);
ppc4xx_tlb_reserve(BASE_ISA, BASE_ISA, TLB_PG_SIZE, TLB_I | TLB_G);
ppc4xx_tlb_reserve(BASE_FB, BASE_FB, TLB_PG_SIZE, TLB_I | TLB_G);
ppc4xx_tlb_reserve(BASE_FB2, BASE_FB2, TLB_PG_SIZE, TLB_I | TLB_G);
for (va = 0; va < endkernel; va += TLB_PG_SIZE)
ppc4xx_tlb_reserve(va, va, TLB_PG_SIZE, TLB_EX);
ppc4xx_tlb_reserve(CONADDR, roundup(memsize, TLB_PG_SIZE), TLB_PG_SIZE,
for (va = 0; va < endkernel; va += TLB_PG_SIZE)
ppc4xx_tlb_reserve(va, va, TLB_PG_SIZE, TLB_EX);
ppc4xx_tlb_reserve(CONADDR, roundup(memsize, TLB_PG_SIZE), TLB_PG_SIZE,
for (va = 0; va < endkernel; va += TLB_PG_SIZE)
ppc4xx_tlb_reserve(va, va, TLB_PG_SIZE, TLB_EX);
ppc4xx_tlb_reserve(AMCC405EX_OPB_BASE, roundup(memsize, TLB_PG_SIZE),
TLB_PG_SIZE, TLB_I | TLB_G);
for (va = 0; va < endkernel; va += TLB_PG_SIZE)
ppc4xx_tlb_reserve(va, va, TLB_PG_SIZE, TLB_EX);
0xef000000, TLB_PG_SIZE, TLB_I | TLB_G);
for (va = 0; va < AMCC460EX_PCIX0_MEM_SIZE; va += TLB_PG_SIZE)
SAM460EX_PCIMEM_VA + va, TLB_PG_SIZE, TLB_I | TLB_G);
for (va = 0; va < AMCC460EX_PCIX0_PMEM_MAP; va += TLB_PG_SIZE)
SAM460EX_PCIPREFMEM_VA + va, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_PCIIO_VA, TLB_PG_SIZE, TLB_I | TLB_G);
(AMCC460EX_PCIX0_CFG_PLBA & ~(TLB_PG_SIZE - 1)),
SAM460EX_PCICFG_VA, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_PCIE0CFG_VA, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_PCIE1CFG_VA, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_PCIE1XCFG_VA, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_PCIE0MEM_VA, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_PCIE1MEM_VA, TLB_PG_SIZE, TLB_I | TLB_G);
SAM460EX_AHB_VA, TLB_PG_SIZE, TLB_I | TLB_G);
for (addr = 0; addr < endkernel; addr += TLB_PG_SIZE)
ppc4xx_tlb_reserve(addr, addr, TLB_PG_SIZE, TLB_EX);
virtex_machdep_init(roundup(memsize, TLB_PG_SIZE), TLB_PG_SIZE,
for (vaddr_t va = 0; va < endkernel; va += TLB_PG_SIZE) {
ppc4xx_tlb_reserve(va, va, TLB_PG_SIZE, TLB_EX);
ppc4xx_tlb_reserve(IBM405GP_UART0_BASE, roundup(memsize, TLB_PG_SIZE),
TLB_PG_SIZE, TLB_I | TLB_G);