Searched refs:ext_int_service_pend_xa (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ | ||
| H A D | mux.h | 57 uint32_t ext_int_service_pend_xa; member in struct:mux_bank |
| H A D | mux.c | 389 bank->ext_int_service_pend_xa = 0; |
Completed in 31 milliseconds