Searched defs:period (Results 1 - 11 of 11) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 26 uint64_t period; member in struct:__anon586
|
/seL4-test-master/kernel/src/object/ |
H A D | schedcontrol.c | 13 invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, ticks_t period, word_t max_refills, word_t badge) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 28 uint64_t period; // period of a current periodic timeout, in ns member in struct:__anon34
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 39 uint64_t period; member in struct:sched_params
|
H A D | mcs_api.h | 185 api_sched_ctrl_configure(UNUSED seL4_CPtr sched_ctrl, UNUSED seL4_CPtr sc, UNUSED uint64_t budget, UNUSED uint64_t period, UNUSED seL4_Word refills, UNUSED seL4_Word badge) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | ltimer.c | 43 uint64_t period; member in struct:__anon82
|
/seL4-test-master/kernel/src/kernel/ |
H A D | sporadic.c | 153 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 41 uint64_t period; member in struct:__anon10::__anon11::__anon12
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
H A D | helpers.c | 515 set_helper_sched_params(UNUSED env_t env, UNUSED helper_thread_t *thread, UNUSED uint64_t budget, UNUSED uint64_t period, UNUSED seL4_Word badge) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | scheduler.c | 1008 uint64_t period = 100 * US_IN_MS; local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | imx-regs.h | 340 uint32_t period; member in struct:cspi_regs
|
Completed in 60 milliseconds