Why two xHCI?

I see there’s usb0 and usb1 in the device tree. The eic7700x manual confirms with “the chip contains two identical usb”. Which controllers are in charge of what ports?

Do figure 4-1 and section 5-5 of “HiFive Premier P550 Getting Started Guide” answer your question?

Yes it does, thank you.