Searched defs:cnt_wstat (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ | ||
H A D | vmct.c | 32 uint32_t cnt_wstat; member in struct:vmct_priv 60 uint32_t *cnt_wstat; local |
/seL4-camkes-master/kernel/include/drivers/timer/ | ||
H A D | mct.h | 65 uint32_t cnt_wstat; /* 0x110 Write status for cnt */ member in struct:mct_global_map |
Completed in 39 milliseconds