Searched refs:dmtp (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
H A D | dmt.h | 67 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 D | dmt.h | 67 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 D | dmt.c | 245 /* 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 D | dmt.c | 245 /* 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