BAT_PHYS_ADDR
bat[0].batl = BAT_PHYS_ADDR(phys) | wimgxpp;
bat[1].batl = BAT_PHYS_ADDR(phys) | wimgxpp;