[U-Boot] rpi USB address question

[Simon Glass]

Hi Stephen,

I see in the kernel device tree that the rpi uses address 0x7e980000
for the DWC2 USB controller. But in U-Boot CONFIG_USB_DWC2_REG_ADDR is
set to 0x20980000. Is there some sort of translation going on here?

Regards,
Simon