BAT_PP_RW
battable[i].batl = BATL(pa, prot, BAT_PP_RW);
"r"(BATL(0, 0, BAT_PP_RW)));
const register_t batl = BATL(pa, BAT_I|BAT_G, BAT_PP_RW);
register_t batl = BATL(paddr, BAT_M, BAT_PP_RW);
batl = BATL(0xFF600000, BAT_I|BAT_G, BAT_PP_RW);