index e8d09dfbaf6ca88b268ebba23f4a54139b34ae4c..1976fc952c506c39cb29902792f8d55002a7b5ce 100644 (file)
{
.pa_start = 0x59000000,
.pa_end = 0x590007ff,
+ .flags = ADDR_TYPE_RT
},
{ }
};