pmap_devmap_bootstrap
pmap_devmap_bootstrap(l1pt_va, devmap);
pmap_devmap_bootstrap(l1pagetable, at91_devmap());
pmap_devmap_bootstrap((vaddr_t)ebsabootinfo.bt_l1, cats_devmap);
pmap_devmap_bootstrap(startup_pagetable, epoc32_devmap);
pmap_devmap_bootstrap(l1pagetable, epoc32_devmap);
pmap_devmap_bootstrap(l1pagetable, epoc32_fb_devmap);
pmap_devmap_bootstrap(l1pagetable, brh_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), devmap);
pmap_devmap_bootstrap(l1pagetable, armadillo9_devmap);
pmap_devmap_bootstrap((vaddr_t)ARM_BOOTSTRAP_LxPT, devmap);
pmap_devmap_bootstrap((vaddr_t)ARM_BOOTSTRAP_LxPT, plat->fp_devmap());
pmap_devmap_bootstrap((vaddr_t)read_ttb(), g42xxeb_devmap);
pmap_devmap_bootstrap(l1pagetable, g42xxeb_devmap);
pmap_devmap_bootstrap(l1_va, devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), gumstix_devmap);
pmap_devmap_bootstrap(l1pagetable, hdlg_devmap);
pmap_devmap_bootstrap(l1pagetable, imx31lk_devmap);
pmap_devmap_bootstrap((vaddr_t)armreg_ttbr_read() & -L1_TABLE_SIZE,
pmap_devmap_bootstrap(l1pagetable, iq80310_devmap);
pmap_devmap_bootstrap(l1pagetable, iq80321_devmap);
pmap_devmap_bootstrap(l1pagetable, ixp425_devmap);
pmap_devmap_bootstrap(l1pagetable, ixm1200_devmap);
pmap_devmap_bootstrap(l1pagetable, iyonix_devmap);
pmap_devmap_bootstrap((vaddr_t)ARM_BOOTSTRAP_LxPT, kobo_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), lubbock_devmap);
pmap_devmap_bootstrap(l1pagetable, lubbock_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), marvell_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), mini2440_devmap);
pmap_devmap_bootstrap(l1pagetable, mini2440_devmap);
pmap_devmap_bootstrap((vaddr_t)armreg_ttbr_read() & -L1_TABLE_SIZE,
pmap_devmap_bootstrap(l1pagetable, iq80321_devmap);
pmap_devmap_bootstrap(l1pagetable, nslu2_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), smdk2410_devmap);
pmap_devmap_bootstrap(l1pagetable, smdk2410_devmap);
pmap_devmap_bootstrap(l1pagetable, smdk2800_devmap);
pmap_devmap_bootstrap(l1pagetable, tsarm_devmap);
pmap_devmap_bootstrap(l1pagetable, viper_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), pxa2x0_devmap);
pmap_devmap_bootstrap(l1pagetable, pxa2x0_devmap);
pmap_devmap_bootstrap(l1pagetable, machdep_devmap);
pmap_devmap_bootstrap(l1pagetable, sa11x0_devmap);
pmap_devmap_bootstrap(l1pagetable, iyonix_devmap);
pmap_devmap_bootstrap(0, plat->fp_devmap());
pmap_devmap_bootstrap(l1pagetable, zaurus_devmap);
pmap_devmap_bootstrap((vaddr_t)read_ttb(), zaurus_devmap);
void pmap_devmap_bootstrap(vaddr_t, const struct pmap_devmap *);