Searched defs:USB2_PADDR (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Ddevices.h34 #define USB2_PADDR (USB2_BUSADDR-BUS_ADDR_OFFSET+PADDR_OFFSET) macro
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Ddevices.h119 #define USB2_PADDR (0x7d004000) /* 8 KB region, 6 KB */ macro
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Ddevices.h115 #define USB2_PADDR (0x7d004000) /* 6 KB round up to 8 KB */ macro

Completed in 53 milliseconds