/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | chardev.c | 26 #define UART_DEFN(devid) { \ 27 .id = BCM2837_UART##devid, \ 28 .paddr = UART_PADDR_##devid, \ 30 .irqs = uart_irqs_##devid, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | chardev.c | 26 #define UART_DEFN(devid) { \ 27 .id = UART##devid, \ 28 .paddr = UART##devid##_PADDR, \ 30 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | chardev.c | 26 #define UART_DEFN(devid) { \ 27 .id = PL001_UART##devid, \ 28 .paddr = UART##devid##_PADDR, \ 30 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | chardev.c | 31 #define UART_DEFN(devid) { \ 32 .id = NV_UART##devid, \ 33 .paddr = UART##devid##_PADDR, \ 35 .irqs = uart##devid##_irqs, \ 39 #define UART_ASYNC_DEFN(devid) { \ 40 .id = NV_UART##devid##_ASYNC, \ 41 .paddr = UART##devid##_PADDR, \ 43 .irqs = uart##devid##_ASYNC_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | chardev.c | 25 #define UART_DEFN(devid) { \ 26 .id = ZYNQ_UART##devid, \ 27 .paddr = UART##devid##_PADDR, \ 29 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | chardev.c | 28 #define UART_DEFN(devid) { \ 29 .id = DM_UART##devid, \ 30 .paddr = UART##devid##_PADDR, \ 32 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | chardev.c | 28 #define GSBI_UART_DEFN(devid) { \ 29 .id = GSBI##devid##_UART, \ 30 .paddr = GSBI##devid##_UART_PADDR, \ 32 .irqs = gsbi##devid##_uart_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | chardev.c | 29 #define UART_DEFN(devid) { \ 30 .id = PL001_UART##devid, \ 31 .paddr = UART##devid##_PADDR, \ 33 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | chardev.c | 30 #define UART_DEFN(devid) { \ 31 .id = DM_UART##devid, \ 32 .paddr = UART##devid##_PADDR, \ 34 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | chardev.c | 28 #define UART_DEFN(devid) { \ 29 .id = IMX31_UART##devid, \ 30 .paddr = UART##devid##_PADDR, \ 32 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | chardev.c | 30 #define UART_DEFN(devid) { \ 31 .id = IMX_UART##devid, \ 32 .paddr = UART##devid##_PADDR, \ 34 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx7/ |
H A D | chardev.c | 29 #define UART_DEFN(devid) { \ 30 .id = IMX_UART##devid, \ 31 .paddr = UART##devid##_PADDR, \ 33 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx8m/ |
H A D | chardev.c | 28 #define UART_DEFN(devid) { \ 29 .id = IMX_UART##devid, \ 30 .paddr = UART##devid##_PADDR, \ 32 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | chardev.c | 30 #define UART_DEFN(devid) { \ 31 .id = UART##devid, \ 32 .paddr = UART##devid##_PADDR, \ 34 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | chardev.c | 28 #define UART_DEFN(devid) { \ 29 .id = OMAP3_UART##devid, \ 30 .paddr = UART##devid##_PADDR, \ 32 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | chardev.c | 28 #define UART_DEFN(devid) { \ 29 .id = RP_UART##devid, \ 30 .paddr = UART##devid##_PADDR, \ 32 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
H A D | chardev.c | 26 #define UART_DEFN(devid) { \ 27 .id = UART##devid, \ 28 .paddr = UART##devid##_PADDR, \ 30 .irqs = uart##devid##_irqs, \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 32 #define PC99_SERIAL_DEFN(devid) { \ 33 .id = PC99_SERIAL_COM##devid, \ 34 .paddr = SERIAL_CONSOLE_COM##devid##_PORT, \ 36 .irqs = com##devid##_irqs, \
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.simple.c | 140 /*- set devid = domain * 65536 + pciid -*/ 141 /*- set iospace_cap = alloc('iospace_%d' % devid, seL4_IA32_IOSpace, domainID=domain, bus=bus, dev=dev, fun=fun) -*/ 142 /*- do iospaces.append((devid, iospace_cap)) -*/ 265 /*- for devid, cap in iospaces -*/ 337 uint32_t devid = ((uint32_t)domainID << 16) | (uint32_t)deviceID; local 339 switch(devid) { 340 /*- for devid, cap in iospaces -*/ 341 case /*? devid ?*/:
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | serial.c | 128 #define UART_DEFN(devid) { \ 129 .id = PS_SERIAL##devid, \ 130 .paddr = EXYNOS_UART##devid##_PADDR, \ 132 .irqs = uart_irqs[devid], \
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ |
H A D | ehci-imx6.c | 253 phy_enable(int devid, ps_io_ops_t* o) argument 259 switch (devid) {
|
H A D | otg-imx6.c | 195 int devid; member in struct:ehci_otg 740 otg->devid = odev->id;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | ehci.h | 226 int devid; member in struct:ehci_host
|
H A D | hcd.c | 276 edev->devid = hdev->id;
|