Searched refs:PS_SERIAL4 (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ | ||
| H A D | serial.h | 28 PS_SERIAL4 = IMX_UART5, enumerator in enum:chardev_id |
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ | ||
| H A D | serial.h | 39 PS_SERIAL4 = GSBI7_UART, enumerator in enum:chardev_id |
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ | ||
| H A D | serial.h | 38 PS_SERIAL4 = DM_UART4, enumerator in enum:chardev_id |
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/ | ||
| H A D | serial.h | 38 PS_SERIAL4 = RP_UART4, enumerator in enum:chardev_id |
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/ | ||
| H A D | serial.h | 44 PS_SERIAL4 = UART2_AO, enumerator in enum:chardev_id |
Completed in 46 milliseconds