/seL4-camkes-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-camkes-master/projects/lwip/src/core/ |
H A D | altcp_alloc.c | 61 altcp_tls_new(struct altcp_tls_config *config, u8_t ip_type) argument
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | hid.h | 27 uint8_t config; //Active configuration member in struct:usb_hid_device
|
/seL4-camkes-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-camkes-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-camkes-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 56 gpt_config_t config = { local
|
/seL4-camkes-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-camkes-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 62 gpt_config_t config = { local
|
/seL4-camkes-master/kernel/tools/ |
H A D | hardware_gen.py | 13 from hardware import config, fdt namespace
|