| /seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/model/ |
| H A D | smp.h | 34 cpu_id_t index; member in struct:nodeInfo
55 cpu_id_t index; local
|
| /seL4-mcs-10.1.1/src/plat/bcm2837/machine/ |
| H A D | intc.c | 132 int index = normal_irq / 32; local
|
| /seL4-mcs-10.1.1/include/arch/arm/arch/model/ |
| H A D | smp.h | 21 static inline cpu_id_t cpuIndexToID(word_t index) argument
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/model/ |
| H A D | smp.h | 36 static inline cpu_id_t cpuIndexToID(word_t index) argument
|
| /seL4-mcs-10.1.1/src/arch/arm/machine/ |
| H A D | cache.c | 24 word_t index; local
36 word_t index; local
89 word_t index; local
106 word_t index; local
149 word_t index; local
161 word_t index; local
[all...] |
| H A D | gic_pl390.c | 167 word_t index = irq / 16u; local
|
| H A D | debug.c | 312 readBcrContext(tcb_t *t, uint16_t index) argument
319 readBvrContext(tcb_t *t, uint16_t index) argument
326 readWcrContext(tcb_t *t, uint16_t index) argument
333 readWvrContext(tcb_t *t, uint16_t index) argument
340 writeBcrContext(tcb_t *t, uint16_t index, word_t val) argument
347 writeBvrContext(tcb_t *t, uint16_t index, word_t val) argument
354 writeWcrContext(tcb_t *t, uint16_t index, word_t val) argument
361 writeWvrContext(tcb_t *t, uint16_t index, word_t val) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | interrupt.c | 45 word_t index = getSyscallArg(2, buffer); local
|
| H A D | iospace.c | 59 uint32_t index = plat_smmu_iopd_index(io_address); local
69 uint32_t index; local
|
| H A D | vcpu.c | 611 invokeVCPUInjectIRQ(vcpu_t* vcpu, unsigned long index, virq_t virq) argument
625 word_t vid, priority, group, index; local
[all...] |
| /seL4-mcs-10.1.1/src/smp/ |
| H A D | ipi.c | 119 int index = wordBits - 1 - clzl(mask); local
|
| /seL4-mcs-10.1.1/src/arch/x86/smp/ |
| H A D | ipi.c | 106 int index = wordBits - 1 - clzl(sub_mask); local
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | interrupt.c | 79 word_t index, depth; local
|
| H A D | ioport.c | 126 word_t index, depth; local
|
| H A D | iospace.c | 27 word_t index; member in struct:lookupVTDContextSlot_ret
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | sporadic.c | 41 refill_next(sched_context_t *sc, word_t index) argument
49 print_index(sched_context_t *sc, word_t index) argument
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | interrupt.c | 33 word_t index, depth, irq_w; local
|
| H A D | cnode.c | 46 word_t index, w_bits; local
|
| /seL4-mcs-10.1.1/src/plat/imx31/machine/ |
| H A D | hardware.c | 93 word_t index; local
107 word_t index; local
122 word_t index; local
[all...] |
| /seL4-mcs-10.1.1/src/plat/pc99/machine/ |
| H A D | ioapic.c | 92 int index = ioapic * IOAPIC_IRQ_LINES + pin; local
153 uint32_t index = 0; local
[all...] |
| /seL4-mcs-10.1.1/libsel4/include/sel4/ |
| H A D | deprecated.h | 106 seL4_ExceptIPC_Set(seL4_Word index, seL4_Word val) argument
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | ept.c | 123 uint32_t index = GET_EPT_PDPT_INDEX(vptr); local
154 uint32_t index = GET_EPT_PD_INDEX(vptr); local
186 uint32_t index = GET_EPT_PT_INDEX(vptr); local
|
| H A D | vspace.c | 1404 word_t index; local
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 131 word_t index = 0; local
404 word_t index = (vptr >> ret.ptBitsLeft) & MASK(PT_INDEX_BITS); local
1006 word_t index; local
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2840 word_t index, depth; local
|