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

/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h67 int dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Ddmt.h67 int dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config);
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c245 /* initialise dmt using the base address of dmtp, so that we do not attempt to map
247 int dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config) argument
251 if (dmt == NULL || dmtp == NULL) {
252 ZF_LOGE("dmt or dmtp cannot be null");
265 dmt->dmt_map = (void *)((uintptr_t) dmtp->dmt_map_base) + HIKEY_DUALTIMER_SECONDARY_TIMER_OFFSET;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c245 /* initialise dmt using the base address of dmtp, so that we do not attempt to map
247 int dmt_init_secondary(dmt_t *dmt, dmt_t *dmtp, ps_io_ops_t ops, dmt_config_t config) argument
251 if (dmt == NULL || dmtp == NULL) {
252 ZF_LOGE("dmt or dmtp cannot be null");
265 dmt->dmt_map = (void *)((uintptr_t) dmtp->dmt_map_base) + HIKEY_DUALTIMER_SECONDARY_TIMER_OFFSET;

Completed in 25 milliseconds