Searched refs:core (Results 1 - 25 of 27) sorted by relevance

12

/seL4-test-master/kernel/src/arch/x86/smp/
H A Dipi.c78 /* make sure all cpu IDs for number of core fit in bitwise word */
88 int core = wordBits - 1 - clzl(mask); local
91 /* get mask of all cores in bitmask which are in same cluster as 'core' */
92 word_t sub_mask = mask & cpu_mapping.other_indexes_in_cluster[core];
93 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[core];
95 big_kernel_lock.node_owners[core].ipi = 1;
98 /* check if there is any other core in this cluster */
108 mask &= ~(cpu_mapping.other_indexes_in_cluster[core] | BIT(core));
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dthread_config.h46 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
77 params.sched_ctrl = simple_get_sched_ctrl(simple, core);
86 static inline sched_params_t sched_params_round_robin(sched_params_t params, simple_t *simple, seL4_Word core, argument
89 return sched_params_periodic(params, simple, core, timeslice_us, timeslice_us, 0, 0);
92 static inline sched_params_t sched_params_core(sched_params_t params, seL4_Word core) argument
95 ZF_LOGW("Setting core on RT kernel will have no effect - sched ctrl required");
97 params.core = core;
/seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h37 typedef seL4_Error(*simple_get_IRQ_trigger_fn)(void *data, int irq, int trigger, int core, seL4_CNode root,
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
88 return simple->irq_trigger(simple->data, irq, trigger, core, path.root, path.capPtr, path.capDepth);
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h44 seL4_Word core: 3; member in struct:kernel_entry::__anon27::__anon28
/seL4-test-master/kernel/include/kernel/
H A Dsporadic.h124 void refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core);
125 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period, core)
128 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period)
H A Dthread.h224 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU);
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/exynos5/
H A Dplatform_init.c50 struct cso core; member in struct:cpu_cfg
70 cpu_cfg[cpu].core.config = CORE_LOCAL_PWR_EN;
/seL4-test-master/kernel/src/object/
H A Dschedcontrol.c13 static exception_t invokeSchedControl_Configure(sched_context_t *target, word_t core, ticks_t budget, argument
21 /* possibly stall a remote core */
54 if (SMP_COND_STATEMENT(core == target->scCore &&) target->scRefillMax > 0 && target->scTcb
62 REFILL_NEW(target, max_refills, budget, period, core);
66 target->scCore = core;
74 if (SMP_TERNARY(core == CURRENT_CPU_INDEX(), true)) {
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/
H A Dinterrupt.c54 /* And replace it by the new, core specific handler */
65 static int test_core(driver_env_t env, int core) argument
70 override_timer_irqs(env, core);
101 test_core(env, i); /* Generate 10 interrupts routed to core i */
107 /* Iterate through the log to count all timer irqs delivered to each core */
111 uint8_t irqCore = logBuffer[i].entry.core;
119 /* Assert that exactly 10 timer irqs were delivered to each core */
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dclock.h82 int exynos5_clock_sys_init(void* cpu, void* core, void* acp, void* isp, void* top,
/seL4-test-master/tools/nanopb/extra/
H A Dnanopb.mk2 # .pb.c and .pb.h files out of .proto, as well the path to nanopb core.
7 # Files for the nanopb core
/seL4-test-master/kernel/include/api/
H A Ddebug.h116 word_t core = SMP_TERNARY(tcb->tcbAffinity, 0); local
117 printf("%15s\t%p\t%20lu\t%lu", state, (void *) getRestartPC(tcb), tcb->tcbPriority, core);
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument
34 return seL4_IRQControl_GetTriggerCore(seL4_CapIRQControl, irq, trigger, root, index, depth, core);
/seL4-test-master/kernel/src/kernel/
H A Dthread.c582 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU) argument
585 if (isRoundRobin(NODE_STATE_ON_CORE(ksCurSC, core))) {
586 assert(refill_size(NODE_STATE_ON_CORE(ksCurSC, core)) == MIN_REFILLS);
587 refill_head(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount += refill_tail(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount;
588 refill_tail(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount = 0;
593 assert(refill_head(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount >= MIN_BUDGET);
594 NODE_STATE_ON_CORE(ksCurSC, core)->scConsumed += consumed;
595 NODE_STATE_ON_CORE(ksConsumed, core) = 0;
596 if (isCurCPU && likely(isSchedulable(NODE_STATE_ON_CORE(ksCurThread, core)))) {
[all...]
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
166 refill_head(sc)->rTime = NODE_STATE_ON_CORE(ksCurTime, core);
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/am335x/
H A Dcpsw.c286 * \brief Enables an interrupt for the specified core.
289 * \param core Core number
300 void CPSWWrCoreIntEnable(unsigned int baseAddr, unsigned int core, argument
303 HWREG(baseAddr + CPSW_WR_C_RX_THRESH_EN(core) + intFlag) |= (BIT(channel));
307 * \brief Disables an interrupt for the specified core.
310 * \param core Core number
321 void CPSWWrCoreIntDisable(unsigned int baseAddr, unsigned int core, argument
324 HWREG(baseAddr + CPSW_WR_C_RX_THRESH_EN(core) + intFlag) &=
329 * \brief Returns the interrupt status of the core for the specified
333 * \param core Cor
345 CPSWWrCoreIntStatusGet(unsigned int baseAddr, unsigned int core, unsigned int channel, unsigned int intFlag) argument
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/plat_include/am335x/ethdrivers/plat/
H A Dcpsw.h286 extern void CPSWWrCoreIntEnable(unsigned int baseAddr, unsigned int core,
288 extern void CPSWWrCoreIntDisable(unsigned int baseAddr, unsigned int core,
290 extern unsigned int CPSWWrCoreIntStatusGet(unsigned int baseAddr, unsigned int core,
/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c200 seL4_CPtr simple_default_sched_control(void *data, int core) argument
202 assert(core < simple_default_core_count(data));
204 return ((seL4_BootInfo *) data)->schedcontrol.start + core;
/seL4-test-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c239 /* Find redistributor for this core. */
297 word_t core = IRQT_TO_CORE(irq); local
305 icfgr = gic_rdist_sgi_ppi_map[core]->icfgr1;
317 gic_rdist_sgi_ppi_map[core]->icfgr1 = icfgr;
379 fail("PPI can't have designated target core\n");
/seL4-test-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h189 * Get the sched ctrl for the requested core (0 for uniprocessor).
192 typedef seL4_CPtr(*simple_get_sched_ctrl_fn)(void *data, int core);
589 static inline seL4_CPtr simple_get_sched_ctrl(simple_t *simple, int core) argument
599 if (core >= simple_get_core_count(simple)) {
600 ZF_LOGE("invalid core");
604 return simple->sched_ctrl(simple->data, core);
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/
H A Dmain.c158 static seL4_CPtr sched_ctrl(void *data, int core) argument
160 return ((test_init_data_t *) data)->sched_ctrl + core;
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/exynos5/
H A Dclock.c305 exynos5_clock_sys_init(void* cpu, void* core, void* acp, void* isp, void* top, argument
312 if (core) {
313 _clk_regs[CLKREGS_CORE] = core;
/seL4-test-master/kernel/src/arch/arm/
H A Dc_traps.c99 ksKernelEntry.core = getCurrentCPUIndex();
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1781 rm -f core *.core core.conftest.* &&
2648 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2715 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2717 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2719 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2805 rm -f core conftest.err conftest.$ac_objext
2995 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
3062 rm -f core conftes
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dthread.c397 return seL4_TCB_SetAffinity(thread->tcb.cptr, params.core);

Completed in 260 milliseconds

12