/seL4-refos-master/apps/timer_server/src/ |
H A D | device_timer.c | 209 gpt_config_t config; local 239 timer_config_t config; local [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 34 uint64_t config; member in struct:hpet_timer
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 198 } config; member in struct:dma330_map
|
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | timer.c | 478 int timer_init(timer_t *timer, timer_config_t config) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | spt.c | 188 int spt_init(spt_t *spt, spt_config_t config) argument
|
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/hikey/ |
H A D | rtc.c | 77 int rtc_init(rtc_t *rtc, rtc_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/libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_ps2.c | 167 uint8_t config = ps2_read_output(&state->ops); local
|
/seL4-refos-master/libs/librefos/include/refos-util/ |
H A D | serv_common.h | 102 srv_common_config_t config; member in struct:srv_common
|
/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
|
H A D | serv_common.c | 134 srv_common_init(srv_common_t *s, srv_common_config_t config) argument [all...] |
/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
|
H A D | two_level.h | 61 struct cspace_two_level_config config; member in struct:cspace_two_level
|
/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/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 | virtual_pool.c | 103 void mspace_virtual_pool_create(mspace_virtual_pool_t *virtual_pool, struct mspace_virtual_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/libsel4vspace/src/ |
H A D | vspace.c | 120 void *vspace_new_pages_with_config(vspace_t *vspace, vspace_new_pages_config_t *config, seL4_CapRights_t rights) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | device_timer.c | 209 gpt_config_t config; local 239 timer_config_t config; local [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
H A D | serv_common.h | 102 srv_common_config_t config; member in struct:srv_common
|
/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
|