| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 88 int core = wordBits - 1 - clzl(mask); in x86_ipi_send_mask() local
92 word_t sub_mask = mask & cpu_mapping.other_indexes_in_cluster[core]; in x86_ipi_send_mask()
93 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[core]; in x86_ipi_send_mask()
95 big_kernel_lock.node_owners[core].ipi = 1; in x86_ipi_send_mask()
108 mask &= ~(cpu_mapping.other_indexes_in_cluster[core] | BIT(core)); in x86_ipi_send_mask()
|
| /seL4-master/src/object/ |
| A D | schedcontrol.c | 13 static exception_t invokeSchedControl_ConfigureFlags(sched_context_t *target, word_t core, ticks_t … in invokeSchedControl_ConfigureFlags() argument
51 REFILL_NEW(target, MIN_REFILLS, budget, 0, core); in invokeSchedControl_ConfigureFlags()
52 … } else if (SMP_COND_STATEMENT(core == target->scCore &&) target->scRefillMax > 0 && target->scTcb in invokeSchedControl_ConfigureFlags()
60 REFILL_NEW(target, max_refills, budget, period, core); in invokeSchedControl_ConfigureFlags()
64 target->scCore = core; in invokeSchedControl_ConfigureFlags()
73 if (SMP_TERNARY(core == CURRENT_CPU_INDEX(), true)) { in invokeSchedControl_ConfigureFlags()
|
| /seL4-master/include/kernel/ |
| A D | sporadic.h | 177 …d refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core);
178 …fine REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, period,… argument
181 #define REFILL_NEW(sc, max_refills, budget, period, core) refill_new(sc, max_refills, budget, perio… argument
|
| A D | thread.h | 215 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU);
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 591 void chargeBudget(ticks_t consumed, bool_t canTimeoutFault, word_t core, bool_t isCurCPU) in chargeBudget() argument
594 if (isRoundRobin(NODE_STATE_ON_CORE(ksCurSC, core))) { in chargeBudget()
595 assert(refill_size(NODE_STATE_ON_CORE(ksCurSC, core)) == MIN_REFILLS); in chargeBudget()
596 …refill_head(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount += refill_tail(NODE_STATE_ON_CORE(ksCurSC,… in chargeBudget()
597 refill_tail(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount = 0; in chargeBudget()
602 assert(refill_head(NODE_STATE_ON_CORE(ksCurSC, core))->rAmount >= MIN_BUDGET); in chargeBudget()
603 NODE_STATE_ON_CORE(ksCurSC, core)->scConsumed += consumed; in chargeBudget()
604 NODE_STATE_ON_CORE(ksConsumed, core) = 0; in chargeBudget()
605 if (isCurCPU && likely(isSchedulable(NODE_STATE_ON_CORE(ksCurThread, core)))) { in chargeBudget()
|
| A D | sporadic.c | 157 …id refill_new(sched_context_t *sc, word_t max_refills, ticks_t budget, ticks_t period, word_t core) in refill_new() argument
170 refill_head(sc)->rTime = NODE_STATE_ON_CORE(ksCurTime, core); in refill_new()
|
| A D | boot.c | 407 …ool_t configure_sched_context(tcb_t *tcb, sched_context_t *sc_pptr, ticks_t timeslice, word_t core) in configure_sched_context() argument
410 REFILL_NEW(tcb->tcbSchedContext, MIN_REFILLS, timeslice, 0, core); in configure_sched_context()
|
| /seL4-master/include/api/ |
| A D | debug.h | 116 word_t core = SMP_TERNARY(tcb->tcbAffinity, 0); in debug_printTCB() local
117 printf("%15s\t%p\t%20lu\t%lu", state, (void *) getRestartPC(tcb), tcb->tcbPriority, core); in debug_printTCB()
|
| /seL4-master/src/arch/riscv/ |
| A D | platform_gen.h.in | 17 * invocations. On RISC-V we have 3 different types of interrupts: core timer,
18 * core software generated, and global external IRQs delivered through the PLIC.
|
| /seL4-master/libsel4/include/sel4/ |
| A D | benchmark_track_types.h | 41 seL4_Word core: 3; member
|
| /seL4-master/tools/dts/ |
| A D | apq8064.dts | 341 clock-names = "core";
863 clock-names = "core\0iface";
875 clock-names = "core\0iface";
909 clock-names = "core\0iface";
1083 clock-names = "core";
1497 clock-names = "core\0iface";
1501 reset-names = "core";
1532 clock-names = "core\0iface";
1536 reset-names = "core";
1567 clock-names = "core\0iface";
[all …]
|
| A D | odroidc2.dts | 254 clock-names = "clkin\0core\0adc_clk\0adc_sel";
302 clock-names = "core";
390 clock-names = "core";
649 clock-names = "core";
1061 clock-names = "core\0clkin0\0clkin1";
1071 clock-names = "core\0clkin0\0clkin1";
1092 clock-names = "core\0clkin0\0clkin1";
1115 clock-names = "bus\0core";
|
| A D | odroidc4.dts | 313 clock-names = "core";
2369 clock-names = "core";
2454 clock-names = "clkin\0core\0adc_clk\0adc_sel";
2541 clock-names = "core\0pclk";
2552 clock-names = "core\0pclk";
2667 clock-names = "core\0clkin0\0clkin1";
2677 clock-names = "core\0clkin0\0clkin1";
2701 clock-names = "core\0clkin0\0clkin1";
|
| A D | wandq.dts | 280 clock-names = "bus\0core\0shader";
289 clock-names = "bus\0core";
363 clock-names = "core\0rxtx0\0rxtx1\0rxtx2\0rxtx3\0rxtx4\0rxtx5\0rxtx6\0rxtx7\0spba";
441 clock-names = "core\0mem\0extal\0fsys\0spba";
1739 clock-names = "bus\0core";
|
| A D | sabre.dts | 289 clock-names = "bus\0core\0shader";
298 clock-names = "bus\0core";
372 clock-names = "core\0rxtx0\0rxtx1\0rxtx2\0rxtx3\0rxtx4\0rxtx5\0rxtx6\0rxtx7\0spba";
456 clock-names = "core\0mem\0extal\0fsys\0spba";
1783 clock-names = "bus\0core";
|
| A D | rockpro64.dts | 277 reset-names = "core\0mgmt\0mgmt-sticky\0pipe\0pm\0pclk\0aclk";
483 clock-names = "core-clk\0pclk\0spdif\0grf";
487 reset-names = "spdif\0dptx\0apb\0core";
1598 reset-names = "core\0axi\0ahb";
|
| A D | rpi3.dts | 453 clock-names = "core\0pixel";
|
| /seL4-master/src/arch/arm/machine/ |
| A D | gic_v3.c | 297 word_t core = IRQT_TO_CORE(irq); in setIRQTrigger() local
305 icfgr = gic_rdist_sgi_ppi_map[core]->icfgr1; in setIRQTrigger()
317 gic_rdist_sgi_ppi_map[core]->icfgr1 = icfgr; in setIRQTrigger()
|
| /seL4-master/src/plat/exynos5/ |
| A D | overlay-exynos5422.dts | 9 * Explicitly specify the boot cpu (the first LITTLE core)
|
| /seL4-master/src/plat/tx2/ |
| A D | overlay-tx2.dts | 8 /* seL4 on the TX2 boots on the first non-NVIDIA core */
|
| /seL4-master/tools/ |
| A D | hardware.yml | 81 # Exynos multi core timer (timer/samsung,exynos4210-mct.txt)
131 # ARM per-core timer-watchdog (timer/arm,twd.txt)
|
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 98 ksKernelEntry.core = CURRENT_CPU_INDEX(); in c_handle_interrupt()
|
| /seL4-master/include/object/ |
| A D | structures_32.bf | 139 field core 32
|
| A D | structures_64.bf | 194 field core 64
|
| /seL4-master/manual/ |
| A D | references.bib | 229 Multi-core Architectures},
|