Searched refs:MCT_ADDR (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Ddevice_map.h57 #define MCT_ADDR 0x101C0000 macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvmct.c123 .pstart = MCT_ADDR,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice_utils.c55 if (err && paddr == MCT_ADDR) {

Completed in 169 milliseconds