Home
last modified time | relevance | path

Searched refs:index (Results 1 – 25 of 64) sorted by relevance

123

/seL4-master/src/arch/arm/machine/
A Dcache.c18 word_t index; in cleanCacheRange_PoC() local
20 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { in cleanCacheRange_PoC()
29 word_t index; in cleanInvalidateCacheRange_RAM() local
47 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { in cleanInvalidateCacheRange_RAM()
80 word_t index; in cleanCacheRange_PoU() local
87 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { in cleanCacheRange_PoU()
96 word_t index; in invalidateCacheRange_RAM() local
127 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { in invalidateCacheRange_RAM()
150 word_t index; in invalidateCacheRange_I()
152 for (index = LINE_INDEX(start); index < LINE_INDEX(end) + 1; index++) { in invalidateCacheRange_I()
[all …]
A Ddebug.c304 readBcrContext(tcb_t *t, uint16_t index) in DEBUG_GENERATE_READ_FN()
306 assert(index < seL4_NumExclusiveBreakpoints); in DEBUG_GENERATE_READ_FN()
310 static word_t readBvrContext(tcb_t *t, uint16_t index) in readBvrContext() argument
312 assert(index < seL4_NumExclusiveBreakpoints); in readBvrContext()
316 static word_t readWcrContext(tcb_t *t, uint16_t index) in readWcrContext() argument
318 assert(index < seL4_NumExclusiveWatchpoints); in readWcrContext()
324 assert(index < seL4_NumExclusiveWatchpoints); in readWvrContext()
330 assert(index < seL4_NumExclusiveBreakpoints); in writeBcrContext()
336 assert(index < seL4_NumExclusiveBreakpoints); in writeBvrContext()
342 assert(index < seL4_NumExclusiveWatchpoints); in writeWcrContext()
[all …]
A Dgic_v2.c155 word_t index = IRQT_TO_IRQ(irq) / 16u; in setIRQTrigger() local
159 gic_dist->config[index] |= BIT(offset + 1); in setIRQTrigger()
161 gic_dist->config[index] &= ~BIT(offset + 1); in setIRQTrigger()
/seL4-master/tools/
A Dhardware.yml22 - index: 0
26 - index: 1
30 - index: 2
43 - index: 0
47 - index: 1
57 - index: 0
67 - index: 0
73 - index: 0
79 - index: 0
87 - index: 0
[all …]
A Dhardware_schema.yml48 index:
49 description: Region index this property should apply to
72 required: [index, kernel]
82 index:
83 description: index of interrupt in device's interrupts array
87 if macro is defined, use 'index' as IRQ, otherwise use undef_index.
91 index: 0
102 description: index of interrupt in device's array to use when sel_macro is undefined
108 required: [index]
116 description: index of interrupt in device's interrupts array
[all …]
/seL4-master/src/arch/arm/kernel/
A Dboot.c48 int index = 1; in arch_init_freemem() local
58 index++; in arch_init_freemem()
79 index++; in arch_init_freemem()
80 reserved[index] = ui_reg; in arch_init_freemem()
82 reserved[index] = ui_reg; in arch_init_freemem()
83 index++; in arch_init_freemem()
86 index++; in arch_init_freemem()
93 reserved[index] = ui_reg; in arch_init_freemem()
94 index++; in arch_init_freemem()
103 index++; in arch_init_freemem()
[all …]
/seL4-master/include/arch/x86/arch/64/mode/model/
A Dsmp.h27 cpu_id_t index; member
48 cpu_id_t index; in getCurrentCPUIndex() local
50 : [result] "=r"(index) in getCurrentCPUIndex()
51 : [offset] "i"(OFFSETOF(nodeInfo_t, index))); in getCurrentCPUIndex()
52 return index; in getCurrentCPUIndex()
/seL4-master/src/plat/pc99/machine/
A Dioapic.c89 int index = ioapic * IOAPIC_IRQ_LINES + pin; in ioapic_mask() local
95 ioredtbl_state[index] |= IOREDTBL_LOW_INTERRUPT_MASK; in ioapic_mask()
97 ioredtbl_state[index] &= ~IOREDTBL_LOW_INTERRUPT_MASK; in ioapic_mask()
100 assert((ioredtbl_state[index] & 0xff) != 0); in ioapic_mask()
103 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]); in ioapic_mask()
150 uint32_t index = 0; in ioapic_map_pin_to_vector() local
152 index = ioapic * IOAPIC_IRQ_LINES + pin; in ioapic_map_pin_to_vector()
159 ioredtbl_state[index] = IOREDTBL_LOW_INTERRUPT_MASK | in ioapic_map_pin_to_vector()
166 ioredtbl_state[index] |= ioapic_read(ioapic, IOAPIC_WINDOW) & ~MASK(16); in ioapic_map_pin_to_vector()
167 ioapic_write(ioapic, IOAPIC_WINDOW, ioredtbl_state[index]); in ioapic_map_pin_to_vector()
/seL4-master/src/smp/
A Dipi.c119 int index = wordBits - 1 - clzl(mask); in generic_ipi_send_mask() local
121 big_kernel_lock.node_owners[index].ipi = 1; in generic_ipi_send_mask()
122 target_cores[nr_target_cores] = index; in generic_ipi_send_mask()
125 ipi_send_target(ipi, cpuIndexToID(index)); in generic_ipi_send_mask()
127 mask &= ~BIT(index); in generic_ipi_send_mask()
/seL4-master/include/arch/riscv/arch/model/
A Dsmp.h23 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID() argument
25 assert(index < CONFIG_MAX_NUM_NODES); in cpuIndexToID()
26 return coreMap.map[index]; in cpuIndexToID()
/seL4-master/libsel4/include/sel4/
A Dmacros.h56 #define SEL4_SIZE_SANITY(index, entry, size) \ argument
57 SEL4_COMPILE_ASSERT(index##_##entry##_##size, (index) + (entry) == size)
/seL4-master/src/plat/am335x/
A Dconfig.cmake30 list(FIND plat_lists ${KernelARMPlatform} index)
31 if("${index}" STREQUAL "-1")
35 list(GET c_configs ${index} c_config)
36 list(GET cmake_configs ${index} cmake_config)
/seL4-master/src/arch/x86/smp/
A Dipi.c100 int index = wordBits - 1 - clzl(sub_mask); in x86_ipi_send_mask() local
101 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[index]; in x86_ipi_send_mask()
103 big_kernel_lock.node_owners[index].ipi = 1; in x86_ipi_send_mask()
105 sub_mask &= ~BIT(index); in x86_ipi_send_mask()
/seL4-master/src/arch/arm/object/
A Dvcpu.c372 exception_t invokeVCPUInjectIRQ(vcpu_t *vcpu, unsigned long index, virq_t virq) in invokeVCPUInjectIRQ() argument
375 set_gic_vcpu_ctrl_lr(index, virq); in invokeVCPUInjectIRQ()
381 vcpu->vgic.lr[index] = virq; in invokeVCPUInjectIRQ()
389 word_t vid, priority, group, index; in decodeVCPUInjectIRQ() local
405 index = (mr0 >> 32) & 0xff; in decodeVCPUInjectIRQ()
421 index = mr1 & 0xff; in decodeVCPUInjectIRQ()
450 if (index >= gic_vcpu_num_list_regs) { in decodeVCPUInjectIRQ()
459 if (virq_get_virqType(vcpu->vgic.lr[index]) == virq_virq_active) { in decodeVCPUInjectIRQ()
467 return invokeVCPUInjectIRQ(vcpu, index, virq); in decodeVCPUInjectIRQ()
578 set_gic_vcpu_ctrl_lr(index, virq); in handleVCPUInjectInterruptIPI()
[all …]
A Dinterrupt.c39 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local
62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
84 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local
107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
A Dsmmu.c25 word_t index, depth, sid; in decodeARMSIDControlInvocation() local
60 index = getSyscallArg(1, buffer); in decodeARMSIDControlInvocation()
77 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in decodeARMSIDControlInvocation()
186 word_t index, depth, cb; in decodeARMCBControlInvocation() local
209 index = getSyscallArg(1, buffer); in decodeARMCBControlInvocation()
226 lu_ret = lookupTargetSlot(cnodeCap, index, depth); in decodeARMCBControlInvocation()
/seL4-master/src/plat/zynqmp/
A Dconfig.cmake32 list(FIND plat_lists ${KernelARMPlatform} index)
33 if("${index}" STREQUAL "-1")
36 list(GET c_configs ${index} c_config)
37 list(GET cmake_configs ${index} cmake_config)
/seL4-master/src/arch/riscv/kernel/
A Dboot.c65 int index = 1; in arch_init_freemem() local
69 if (index >= ARRAY_SIZE(res_reg)) { in arch_init_freemem()
73 res_reg[index] = paddr_to_pptr_reg(dtb_p_reg); in arch_init_freemem()
74 index += 1; in arch_init_freemem()
78 if (index >= ARRAY_SIZE(res_reg)) { in arch_init_freemem()
82 res_reg[index] = ui_reg; in arch_init_freemem()
83 index += 1; in arch_init_freemem()
87 index, res_reg, in arch_init_freemem()
/seL4-master/include/arch/arm/arch/model/
A Dsmp.h14 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID() argument
16 return BIT(index); in cpuIndexToID()
/seL4-master/src/kernel/
A Dsporadic.c35 static inline word_t refill_next(sched_context_t *sc, word_t index) in refill_next() argument
37 return (index == sc->scRefillMax - 1u) ? (0) : index + 1u; in refill_next()
42 UNUSED static inline void print_index(sched_context_t *sc, word_t index) in print_index() argument
45 printf("index %lu, Amount: %llx, time %llx\n", index, refill_index(sc, index)->rAmount, in print_index()
46 refill_index(sc, index)->rTime); in print_index()
/seL4-master/include/arch/x86/arch/model/
A Dsmp.h29 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID() argument
31 return cpu_mapping.index_to_cpu_id[index]; in cpuIndexToID()
/seL4-master/src/plat/exynos5/
A Dconfig.cmake40 list(FIND plat_lists "${KernelARMPlatform}" index)
41 if("${index}" STREQUAL "-1")
44 list(GET c_configs ${index} c_config)
45 list(GET cmake_configs ${index} cmake_config)
/seL4-master/src/plat/bcm2837/machine/
A Dintc.c123 int index = normal_irq / 32; in maskInterrupt() local
125 intc_regs->bfDisableIRQs[index] = BIT(normal_irq % 32); in maskInterrupt()
127 intc_regs->bfEnableIRQs[index] = BIT(normal_irq % 32); in maskInterrupt()
/seL4-master/src/drivers/smmu/
A Dsmmuv2.c57 static inline uint32_t smmu_read_reg32(pptr_t base, uint32_t index) in smmu_read_reg32() argument
59 return *(volatile uint32_t *)(base + index); in smmu_read_reg32()
62 static inline void smmu_write_reg32(pptr_t base, uint32_t index, uint32_t val) in smmu_write_reg32() argument
64 *(volatile uint32_t *)(base + index) = val; in smmu_write_reg32()
67 static inline uint64_t smmu_read_reg64(pptr_t base, uint32_t index) in smmu_read_reg64() argument
69 return *(volatile uint64_t *)(base + index); in smmu_read_reg64()
72 static inline void smmu_write_reg64(pptr_t base, uint32_t index, uint64_t val) in smmu_write_reg64() argument
74 *(volatile uint64_t *)(base + index) = val; in smmu_write_reg64()
/seL4-master/src/arch/riscv/object/
A Dinterrupt.c51 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local
67 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()

Completed in 40 milliseconds

123