[U-Boot] rpi USB address question

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