/seL4-refos-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-refos-master/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-refos-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-refos-master/libs/librefos/src/refos-util/ |
H A D | device_irq.c | 24 void dev_irq_init(dev_irq_state_t *irqState, dev_irq_config_t config) argument
|
/seL4-refos-master/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
|
/seL4-refos-master/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
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | device_irq.c | 24 void dev_irq_init(dev_irq_state_t *irqState, dev_irq_config_t config) argument
|
/seL4-refos-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
|
/seL4-refos-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
|
/seL4-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 34 uint64_t config; member in struct:hpet_timer
|