/seL4-test-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 78 /* 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 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 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 D | simple.h | 37 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 D | benchmark_track_types.h | 44 seL4_Word core: 3; member in struct:kernel_entry::__anon27::__anon28
|
/seL4-test-master/kernel/include/kernel/ |
H A D | sporadic.h | 124 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 D | thread.h | 224 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 D | platform_init.c | 50 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 D | schedcontrol.c | 13 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 D | interrupt.c | 54 /* 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 D | clock.h | 82 int exynos5_clock_sys_init(void* cpu, void* core, void* acp, void* isp, void* top,
|
/seL4-test-master/tools/nanopb/extra/ |
H A D | nanopb.mk | 2 # .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 D | debug.h | 116 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 D | default.c | 30 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 D | thread.c | 582 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 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 166 refill_head(sc)->rTime = NODE_STATE_ON_CORE(ksCurTime, core);
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | cpsw.c | 286 * \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 D | cpsw.h | 286 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 D | libsel4simple-default.c | 200 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 D | gic_v3.c | 239 /* 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 D | simple.h | 189 * 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 D | main.c | 158 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 D | clock.c | 305 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 D | c_traps.c | 99 ksKernelEntry.core = getCurrentCPUIndex();
|
/seL4-test-master/tools/riscv-pk/ |
H A D | configure | 1781 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 D | thread.c | 397 return seL4_TCB_SetAffinity(thread->tcb.cptr, params.core);
|