| /seL4-refos-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 36 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
53 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
54 ipiIrq[getCurrentCPUIndex()] = irqInvalid;
67 assert(!(ipiIrq[getCurrentCPUIndex()] == irqInvalid && big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi == 1));
68 return ipiIrq[getCurrentCPUIndex()];
73 ipiIrq[getCurrentCPUIndex()] = irqInvalid;
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | smp_sys.c | 22 cpu_mapping.index_to_logical_id[getCurrentCPUIndex()] = apic_get_logical_id();
25 if (apic_get_cluster(cpu_mapping.index_to_logical_id[getCurrentCPUIndex()]) ==
28 cpu_mapping.other_indexes_in_cluster[getCurrentCPUIndex()] |= BIT(i);
29 cpu_mapping.other_indexes_in_cluster[i] |= BIT(getCurrentCPUIndex());
48 cpu_mapping.index_to_cpu_id[getCurrentCPUIndex()] = boot_state.cpus[0];
50 cpu_mapping.index_to_logical_id[getCurrentCPUIndex()] = apic_get_logical_id();
|
| H A D | xapic.c | 23 ldr |= (BIT(getCurrentCPUIndex()) << XAPIC_LDR_SHIFT);
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/smp/ |
| H A D | smp.h | 25 getCurrentCPUIndex(void) function
|
| /seL4-refos-master/kernel/src/smp/ |
| H A D | ipi.c | 38 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
45 while (big_kernel_lock.node_owners[getCurrentCPUIndex()].next->value != CLHState_Granted) {
46 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
50 handleIPI(CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi), irqPath);
90 mask &= ~BIT(getCurrentCPUIndex());
107 mask &= ~BIT(getCurrentCPUIndex());
|
| /seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | traps.h | 16 x86_save_fsgs_base(tcb, SMP_TERNARY(getCurrentCPUIndex(), 0));
24 x86_load_fsgs_base(tcb, SMP_TERNARY(getCurrentCPUIndex(), 0));
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/smp/ |
| H A D | smp.h | 26 static inline CONST cpu_id_t getCurrentCPUIndex(void) function
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/model/ |
| H A D | smp.h | 22 static inline CONST cpu_id_t getCurrentCPUIndex(void) function
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 130 isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)] = true;
135 return isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)];
147 isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)] = false;
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/ |
| H A D | stack.h | 34 SMP_COND_STATEMENT(kernel_stack_top = ((word_t)kernel_stack_alloc[getCurrentCPUIndex()]) + BIT(
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/model/ |
| H A D | smp.h | 46 static inline CONST cpu_id_t getCurrentCPUIndex(void) function
|
| /seL4-refos-master/kernel/src/arch/arm/smp/ |
| H A D | ipi.c | 34 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
76 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | fpu.h | 169 isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)] = true;
175 return isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)];
226 isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)] = false;
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | fpu.h | 153 isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)] = true;
158 isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)] = false;
163 return isFPUEnabledCached[SMP_TERNARY(getCurrentCPUIndex(), 0)];
|
| /seL4-refos-master/kernel/include/smp/ |
| H A D | lock.h | 135 return big_kernel_lock.node_owners[getCurrentCPUIndex()].node->value == CLHState_Pending;
139 clh_lock_acquire(getCurrentCPUIndex(), _irqPath); \
143 clh_lock_release(getCurrentCPUIndex()); \
|
| /seL4-refos-master/kernel/src/machine/ |
| H A D | fpu.c | 33 if (cpu != getCurrentCPUIndex()) {
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
| H A D | tlb.h | 24 tlb_bitmap_unset(vspace, getCurrentCPUIndex());
|
| /seL4-refos-master/kernel/include/arch/x86/arch/model/ |
| H A D | smp.h | 36 return cpu_mapping.index_to_cpu_id[getCurrentCPUIndex()];
|
| /seL4-refos-master/kernel/include/model/ |
| H A D | statedata.h | 31 #define CURRENT_CPU_INDEX() getCurrentCPUIndex()
129 #define MODE_NODE_STATE(_state) MODE_NODE_STATE_ON_CORE(_state, getCurrentCPUIndex())
130 #define ARCH_NODE_STATE(_state) ARCH_NODE_STATE_ON_CORE(_state, getCurrentCPUIndex())
131 #define NODE_STATE(_state) NODE_STATE_ON_CORE(_state, getCurrentCPUIndex())
|
| /seL4-refos-master/kernel/src/arch/arm/kernel/ |
| H A D | boot.c | 122 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi));
123 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_reschedule_ipi));
192 word_t stack_top = ((word_t) kernel_stack_alloc[SMP_TERNARY(getCurrentCPUIndex(), 0)]) + BIT(CONFIG_KERNEL_STACK_BITS);
195 stack_top |= getCurrentCPUIndex();
260 maskInterrupt(true, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), i));
262 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_remote_call_ipi));
263 setIRQState(IRQIPI, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), irq_reschedule_ipi));
265 setIRQState(IRQTimer, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), KERNEL_TIMER_IRQ));
267 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), INTERRUPT_VGIC_MAINTENANCE));
268 setIRQState(IRQReserved, CORE_IRQ_TO_IRQT(getCurrentCPUIndex(), INTERRUPT_VTIMER_EVEN
[all...] |
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 56 if (i != getCurrentCPUIndex()) {
70 if (i != getCurrentCPUIndex()) {
88 if (i != getCurrentCPUIndex()) {
|
| /seL4-refos-master/kernel/src/arch/x86/smp/ |
| H A D | ipi.c | 34 if (clh_is_ipi_pending(getCurrentCPUIndex())) {
73 big_kernel_lock.node_owners[getCurrentCPUIndex()].ipi = 0;
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 34 SMP_COND_STATEMENT(tlb_bitmap_unset(paddr_to_pptr(getCurrentPD()), getCurrentCPUIndex());)
35 SMP_COND_STATEMENT(tlb_bitmap_set(pd, getCurrentCPUIndex());)
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/model/ |
| H A D | smp.h | 52 static inline CONST cpu_id_t getCurrentCPUIndex(void)
|
| /seL4-refos-master/kernel/src/arch/x86/32/ |
| H A D | c_traps.c | 40 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->kernelSP = ((word_t)kernel_stack_alloc[getCurrentCPUIndex()]) + BIT(
|