setbat
setbat(idx, PAGE_OFFSET + base, base, size, PAGE_KERNEL_X);
setbat(idx, k_nobat, phys, k_size, PAGE_KERNEL);
extern void setbat(int index, unsigned long virt, phys_addr_t phys,
setbat(-1, va, immrbase, immrsize, PAGE_KERNEL_NCG);
setbat(1, (unsigned long)early_debug_area,
setbat(1, 0xf0000000, 0xf0000000, 1024*1024, PAGE_KERNEL_NCG);