| /seL4-master/src/arch/arm/machine/ |
| A D | cache.c | 18 word_t index; in cleanCacheRange_PoC() local
29 word_t index; in cleanInvalidateCacheRange_RAM() local
80 word_t index; in cleanCacheRange_PoU() local
96 word_t index; in invalidateCacheRange_RAM() local
162 word_t index; in branchFlushRange() local
|
| A D | debug.c | 310 static word_t readBvrContext(tcb_t *t, uint16_t index) in readBvrContext()
316 static word_t readWcrContext(tcb_t *t, uint16_t index) in readWcrContext()
322 static word_t readWvrContext(tcb_t *t, uint16_t index) in readWvrContext()
328 static void writeBcrContext(tcb_t *t, uint16_t index, word_t val) in writeBcrContext()
334 static void writeBvrContext(tcb_t *t, uint16_t index, word_t val) in writeBvrContext()
340 static void writeWcrContext(tcb_t *t, uint16_t index, word_t val) in writeWcrContext()
346 static void writeWvrContext(tcb_t *t, uint16_t index, word_t val) in writeWvrContext()
|
| A D | gic_v2.c | 155 word_t index = IRQT_TO_IRQ(irq) / 16u; in setIRQTrigger() local
|
| /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
|
| /seL4-master/include/arch/arm/arch/model/ |
| A D | smp.h | 14 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID()
|
| /seL4-master/src/arch/arm/object/ |
| A D | interrupt.c | 39 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local
84 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local
|
| A D | vcpu.c | 372 exception_t invokeVCPUInjectIRQ(vcpu_t *vcpu, unsigned long index, virq_t virq) in invokeVCPUInjectIRQ()
389 word_t vid, priority, group, index; in decodeVCPUInjectIRQ() local
575 void handleVCPUInjectInterruptIPI(vcpu_t *vcpu, unsigned long index, virq_t virq) in handleVCPUInjectInterruptIPI()
|
| A D | smmu.c | 25 word_t index, depth, sid; in decodeARMSIDControlInvocation() local
186 word_t index, depth, cb; in decodeARMCBControlInvocation() local
|
| A D | iospace.c | 52 uint32_t index = plat_smmu_iopd_index(io_address); in lookupIOPDSlot() local
61 uint32_t index; in lookupIOPTSlot() local
|
| /seL4-master/src/plat/bcm2837/machine/ |
| A D | intc.c | 123 int index = normal_irq / 32; in maskInterrupt() local
|
| /seL4-master/include/arch/x86/arch/model/ |
| A D | smp.h | 29 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID()
|
| /seL4-master/include/arch/riscv/arch/model/ |
| A D | smp.h | 23 static inline cpu_id_t cpuIndexToID(word_t index) in cpuIndexToID()
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | ioapic.c | 89 int index = ioapic * IOAPIC_IRQ_LINES + pin; in ioapic_mask() local
150 uint32_t index = 0; in ioapic_map_pin_to_vector() local
|
| /seL4-master/src/smp/ |
| A D | ipi.c | 119 int index = wordBits - 1 - clzl(mask); in generic_ipi_send_mask() local
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 51 word_t index = getSyscallArg(2, buffer); in Arch_decodeIRQControlInvocation() local
|
| /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()
62 static inline void smmu_write_reg32(pptr_t base, uint32_t index, uint32_t val) in smmu_write_reg32()
67 static inline uint64_t smmu_read_reg64(pptr_t base, uint32_t 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()
|
| /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()
42 UNUSED static inline void print_index(sched_context_t *sc, word_t index) in print_index()
|
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 100 int index = wordBits - 1 - clzl(sub_mask); in x86_ipi_send_mask() local
|
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 56 #define SEL4_SIZE_SANITY(index, entry, size) \ argument
|
| A D | deprecated.h | 100 seL4_ExceptIPC_Set(seL4_Word index, seL4_Word val) in seL4_ExceptIPC_Set()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 71 word_t index, depth; in Arch_decodeIRQControlInvocation() local
|
| /seL4-master/src/object/ |
| A D | interrupt.c | 27 word_t index, depth, irq_w; in decodeIRQControlInvocation() local
|
| /seL4-master/include/kernel/ |
| A D | sporadic.h | 52 static inline refill_t *refill_index(sched_context_t *sc, word_t index) in refill_index()
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 48 int index = 1; in arch_init_freemem() local
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | ept.c | 112 uint32_t index = GET_EPT_PDPT_INDEX(vptr); in lookupEPTPDPTSlot() local
142 uint32_t index = GET_EPT_PD_INDEX(vptr); in lookupEPTPDSlot() local
173 uint32_t index = GET_EPT_PT_INDEX(vptr); in lookupEPTPTSlot() local
|