ARMADAXP_L2_BASE
return (bus_space_read_4(fdtbus_bs_tag, ARMADAXP_L2_BASE, reg));
bus_space_write_4(fdtbus_bs_tag, ARMADAXP_L2_BASE, reg, val);