/seL4-master/src/arch/arm/machine/ |
A D | cache.c | 18 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 D | debug.c | 304 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 D | gic_v2.c | 155 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 D | hardware.yml | 22 - 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 D | hardware_schema.yml | 48 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 D | boot.c | 48 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 D | smp.h | 27 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 D | ioapic.c | 89 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 D | ipi.c | 119 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 D | smp.h | 23 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 D | macros.h | 56 #define SEL4_SIZE_SANITY(index, entry, size) \ argument 57 SEL4_COMPILE_ASSERT(index##_##entry##_##size, (index) + (entry) == size)
|
/seL4-master/src/plat/am335x/ |
A D | config.cmake | 30 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 D | ipi.c | 100 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 D | vcpu.c | 372 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 D | interrupt.c | 39 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 D | smmu.c | 25 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 D | config.cmake | 32 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 D | boot.c | 65 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 D | smp.h | 14 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID() argument 16 return BIT(index); in cpuIndexToID()
|
/seL4-master/src/kernel/ |
A D | sporadic.c | 35 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 D | smp.h | 29 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 D | config.cmake | 40 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 D | intc.c | 123 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 D | smmuv2.c | 57 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 D | interrupt.c | 51 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local 67 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
|