Searched refs:devid (Results 1 - 24 of 24) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dchardev.c26 #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 Dchardev.c26 #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 Dchardev.c26 #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 Dchardev.c31 #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 Dchardev.c25 #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 Dchardev.c28 #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 Dchardev.c28 #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 Dchardev.c29 #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 Dchardev.c30 #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 Dchardev.c28 #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 Dchardev.c30 #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 Dchardev.c29 #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 Dchardev.c28 #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 Dchardev.c30 #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 Dchardev.c28 #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 Dchardev.c28 #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 Dchardev.c26 #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 Dchardev.c32 #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 Dcomponent.simple.c140 /*- 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 Dserial.c128 #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 Dehci-imx6.c253 phy_enable(int devid, ps_io_ops_t* o) argument
259 switch (devid) {
H A Dotg-imx6.c195 int devid; member in struct:ehci_otg
740 otg->devid = odev->id;
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/
H A Dehci.h226 int devid; member in struct:ehci_host
H A Dhcd.c276 edev->devid = hdev->id;

Completed in 189 milliseconds