sys/arch/evbarm/armadaxp/armadaxp_machdep.c

329

pmap_devmap_bootstrap((vaddr_t)read_ttb(), devmap);

sys/arch/evbarm/g42xxeb/g42xxeb_machdep.c

402

pmap_devmap_bootstrap((vaddr_t)read_ttb(), g42xxeb_devmap);

sys/arch/evbarm/gumstix/gumstix_machdep.c

374

pmap_devmap_bootstrap((vaddr_t)read_ttb(), gumstix_devmap);

sys/arch/evbarm/lubbock/lubbock_machdep.c

414

pmap_devmap_bootstrap((vaddr_t)read_ttb(), lubbock_devmap);

sys/arch/evbarm/marvell/marvell_machdep.c

299

pmap_devmap_bootstrap((vaddr_t)read_ttb(), marvell_devmap);

sys/arch/evbarm/mini2440/mini2440_machdep.c

476

pmap_devmap_bootstrap((vaddr_t)read_ttb(), mini2440_devmap);

sys/arch/evbarm/smdk2xx0/smdk2410_machdep.c

451

pmap_devmap_bootstrap((vaddr_t)read_ttb(), smdk2410_devmap);

sys/arch/hpcarm/hpcarm/pxa2x0_hpc_machdep.c

236

pmap_devmap_bootstrap((vaddr_t)read_ttb(), pxa2x0_devmap);

sys/arch/zaurus/zaurus/machdep.c

643

pmap_devmap_bootstrap((vaddr_t)read_ttb(), zaurus_devmap);