/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(
|