CONFIG_XHCDBC_DMA_BASE	= 16#0020_0000#
CONFIG_XHCDBC_XHCI_BASE	= 16#e000_0000#
CONFIG_XHCDBC_XHCI_SIZE	= 16#0001_0000#