/seL4-refos-master/kernel/include/api/ |
H A D | debug.h | 116 word_t core = SMP_TERNARY(tcb->tcbAffinity, 0); local
|
/seL4-refos-master/kernel/src/object/ |
H A D | schedcontrol.c | 13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, argument
|
/seL4-refos-master/libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument
|
/seL4-refos-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 88 int core = wordBits - 1 - clzl(mask); local
|
/seL4-refos-master/kernel/libsel4/include/sel4/ |
H A D | benchmark_track_types.h | 44 seL4_Word core: 3; member in struct:kernel_entry::__anon27::__anon28
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | benchmark_track_types.h | 44 seL4_Word core: 3; member in struct:kernel_entry::__anon98::__anon99
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
|
/seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | xwindowp.h | 68 CorePart core; member in struct:_WindowRec
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | xwindowp.h | 68 CorePart core; member in struct:_WindowRec
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/exynos5/ |
H A D | platform_init.c | 50 struct cso core; member in struct:cpu_cfg
|
/seL4-refos-master/tools/elfloader/src/plat/exynos5/ |
H A D | platform_init.c | 50 struct cso core; member in struct:cpu_cfg
|
/seL4-refos-master/libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 200 seL4_CPtr simple_default_sched_control(void *data, int core) argument
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 46 seL4_Word core; member in struct:sched_params 70 static inline sched_params_t sched_params_periodic(sched_params_t params, simple_t *simple, seL4_Word core, argument 86 static inline sched_params_t sched_params_round_robin(sched_params_t params, simple_t *simple, seL4_Word core, argument 92 static inline sched_params_t sched_params_core(sched_params_t params, seL4_Word core) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 200 seL4_CPtr simple_default_sched_control(void *data, int core) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | thread_config.h | 46 seL4_Word core; member in struct:sched_params 70 static inline sched_params_t sched_params_periodic(sched_params_t params, simple_t *simple, seL4_Word core, argument 86 static inline sched_params_t sched_params_round_robin(sched_params_t params, simple_t *simple, seL4_Word core, argument 92 static inline sched_params_t sched_params_core(sched_params_t params, seL4_Word core) argument
|
/seL4-refos-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
|
H A D | thread.c | 582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU) argument [all...] |
/seL4-refos-master/kernel/src/arch/arm/machine/ |
H A D | gic_v3.c | 297 word_t core = IRQT_TO_CORE(irq); local
|
/seL4-refos-master/libs/libplatsupport/src/plat/exynos5/ |
H A D | clock.c | 305 exynos5_clock_sys_init(void* cpu, void* core, void* acp, void* isp, void* top, argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | cpsw.c | 300 void CPSWWrCoreIntEnable(unsigned int baseAddr, unsigned int core, argument 321 void CPSWWrCoreIntDisable(unsigned int baseAddr, unsigned int core, argument 345 CPSWWrCoreIntStatusGet(unsigned int baseAddr, unsigned int core, unsigned int channel, unsigned int intFlag) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | clock.c | 305 exynos5_clock_sys_init(void* cpu, void* core, void* acp, void* isp, void* top, argument
|
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/ |
H A D | simple.h | 589 static inline seL4_CPtr simple_get_sched_ctrl(simple_t *simple, int core) argument
|
/seL4-refos-master/libs/libsel4simple/include/simple/ |
H A D | simple.h | 589 static inline seL4_CPtr simple_get_sched_ctrl(simple_t *simple, int core) argument
|