BAT_VA2IDX
struct bat battable[BAT_VA2IDX(0xffffffff)+1];
const u_int i = BAT_VA2IDX(pa) & -n; /* in case pa was in the middle */
const u_int i = BAT_VA2IDX(pa);
u_int n = BAT_VA2IDX(size);
u_int i = BAT_VA2IDX(paddr);
struct bat ofw_battable[BAT_VA2IDX(0xffffffff)+1];
const register_t batu = battable[BAT_VA2IDX(va)].batu;
const register_t batl = battable[BAT_VA2IDX(va)].batl;
register_t batu = battable[BAT_VA2IDX(pa)].batu;
register_t batu = battable[BAT_VA2IDX(va)].batu;
register_t batu = battable[BAT_VA2IDX(pa)].batu;