Searched defs:bmk_platform_cpu_sched_settls (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dsched.c77 bmk_platform_cpu_sched_settls(struct bmk_tcb *next) function
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dkernel.c48 bmk_platform_cpu_sched_settls(struct bmk_tcb *next) function
/seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/
H A Dmachdep.c149 bmk_platform_cpu_sched_settls(struct bmk_tcb *next) function
/seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/
H A Dmachdep.c157 bmk_platform_cpu_sched_settls(struct bmk_tcb *next) function
/seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/
H A Dmachdep.c158 bmk_platform_cpu_sched_settls(struct bmk_tcb *next) function

Completed in 86 milliseconds