| /seL4-test-master/kernel/tools/hardware/outputs/ |
| H A D | compat_strings.py | 10 from hardware import config, fdt namespace
|
| H A D | yaml.py | 12 from hardware import config, fdt namespace
|
| H A D | elfloader.py | 17 from hardware import config, device, fdt namespace
|
| H A D | c_header.py | 13 from hardware import config, fdt namespace
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | simple1level.c | 18 void cspace_simple1level_create(cspace_simple1level_t *cspace, struct cspace_simple1level_config config) argument
|
| H A D | single_level.c | 21 int cspace_single_level_create(struct allocman *alloc, cspace_single_level_t *cspace, struct cspace_single_level_config config) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ |
| H A D | simple1level.h | 36 struct cspace_simple1level_config config; member in struct:cspace_simple1level
|
| H A D | single_level.h | 34 struct cspace_single_level_config config; member in struct:cspace_single_level
|
| H A D | two_level.h | 61 struct cspace_two_level_config config; member in struct:cspace_two_level
|
| /seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | dual_pool.c | 18 void mspace_dual_pool_create(mspace_dual_pool_t *dual_pool, struct mspace_fixed_pool_config config) argument
28 void mspace_dual_pool_attach_virtual(mspace_dual_pool_t *dual_pool, struct mspace_virtual_pool_config config) { argument
|
| H A D | fixed_pool.c | 33 void mspace_fixed_pool_create(mspace_fixed_pool_t *fixed_pool, struct mspace_fixed_pool_config config) argument
|
| H A D | vspace_pool.c | 43 void mspace_vspace_pool_create(mspace_vspace_pool_t *vspace_pool, struct mspace_vspace_pool_config config) argument
|
| H A D | virtual_pool.c | 103 void mspace_virtual_pool_create(mspace_virtual_pool_t *virtual_pool, struct mspace_virtual_pool_config config) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | system_timer.c | 27 int system_timer_init(system_timer_t *timer, system_timer_config_t config) { argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | meson_timer.c | 19 int meson_init(meson_timer_t *timer, meson_timer_config_t config) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | hpet.h | 34 uint64_t config; member in struct:hpet_timer
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | rtc.c | 77 int rtc_init(rtc_t *rtc, rtc_config_t config) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
| H A D | smmu.c | 33 sel4utils_process_config_t config = process_config_default_simple(&env->simple, TESTS_APP, env->init->priority); local
|
| /seL4-test-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | parentapi.c | 115 sel4utils_thread_config_t config = thread_config_default(parent_simple, parent_cspace_cspath.root, local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | pwm.c | 122 int pwm_init(pwm_t *pwm, pwm_config_t config) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
| H A D | timer.h | 48 epit_config_t config = { local
89 gpt_config_t config = { local
120 epit_config_t config = { local
|
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
| H A D | timer.h | 56 gpt_config_t config = { local
|
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
| H A D | timer.h | 53 gpt_config_t config = { local
81 epit_config_t config = { local
|
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
| H A D | timer.h | 62 gpt_config_t config = { local
|
| /seL4-test-master/kernel/tools/ |
| H A D | hardware_gen.py | 13 from hardware import config, fdt namespace
|