Searched refs:exynos_handle_rx_irq (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dserial.h52 void exynos_handle_rx_irq(ps_chardevice_t *d);
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dserial.h52 void exynos_handle_rx_irq(ps_chardevice_t *d);
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.c334 void exynos_handle_rx_irq(ps_chardevice_t *d) function
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dserial.c334 void exynos_handle_rx_irq(ps_chardevice_t *d) function

Completed in 33 milliseconds