Searched defs:period (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dtqueue.h26 uint64_t period; member in struct:__anon586
/seL4-test-master/kernel/src/object/
H A Dschedcontrol.c13 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 Dgeneric_ltimer.c28 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 Dthread_config.h39 uint64_t period; member in struct:sched_params
H A Dmcs_api.h185 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 Dltimer.c43 uint64_t period; member in struct:__anon82
/seL4-test-master/kernel/src/kernel/
H A Dsporadic.c153 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 Dltimer.c41 uint64_t period; member in struct:__anon10::__anon11::__anon12
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dhelpers.c515 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 Dscheduler.c1008 uint64_t period = 100 * US_IN_MS; local
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dimx-regs.h340 uint32_t period; member in struct:cspi_regs

Completed in 60 milliseconds