Searched defs:sysreg_vaddr (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/libplatsupport/plat_include/exynos5/platsupport/plat/ | ||
H A D | sysreg.h | 23 void* sysreg_vaddr[1]; member in struct:sysreg |
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/ | ||
H A D | sysreg.h | 23 void* sysreg_vaddr[1]; member in struct:sysreg |
/seL4-refos-master/libs/libplatsupport/src/plat/exynos4/ | ||
H A D | src.c | 26 void* sysreg_vaddr[1]; member in struct:src_priv |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/exynos4/ | ||
H A D | src.c | 26 void* sysreg_vaddr[1]; member in struct:src_priv |
Completed in 92 milliseconds