/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/kernel/ |
H A D | tlb.h | 19 static inline void invalidateTLBEntry(vptr_t vptr, word_t mask) argument 22 SMP_COND_STATEMENT(doRemoteInvalidateTLBEntry(vptr, mask)); 25 static inline void invalidatePageStructureCache(word_t mask) argument 28 SMP_COND_STATEMENT(doRemoteInvalidatePageStructureCache(mask)); 31 static inline void invalidateTLB(word_t mask) argument 34 SMP_COND_STATEMENT(doRemoteInvalidateTLB(mask));
|
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/ |
H A D | tlb.h | 18 static inline void invalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) argument 21 SMP_COND_STATEMENT(doRemoteInvalidatePageStructureCacheASID(root, asid, mask)); 24 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) argument 27 SMP_COND_STATEMENT(doRemoteInvalidateTranslationSingle(vptr, mask)); 30 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument 33 SMP_COND_STATEMENT(doRemoteInvalidateTranslationSingleASID(vptr, asid, mask)); 36 static inline void invalidateTranslationAll(word_t mask) argument 39 SMP_COND_STATEMENT(doRemoteInvalidateTranslationAll(mask));
|
/seL4-mcs-10.1.1/include/arch/arm/arch/smp/ |
H A D | ipi_inline.h | 32 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument 34 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationSingle, vptr, mask); 37 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask) argument 39 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationASID, asid, mask); 42 static inline void doRemoteInvalidateTranslationAll(word_t mask) argument 44 doRemoteMaskOp0Arg(IpiRemoteCall_InvalidateTranslationAll, mask);
|
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/smp/ |
H A D | ipi.h | 30 static void inline doRemoteInvalidateTLBEntry(vptr_t vptr, word_t mask) argument 32 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTLBEntry, vptr, mask); 35 static void inline doRemoteInvalidatePageStructureCache(word_t mask) argument 37 doRemoteMaskOp0Arg(IpiRemoteCall_InvalidatePageStructureCache, mask); 40 static void inline doRemoteInvalidateTLB(word_t mask) argument 42 doRemoteMaskOp0Arg(IpiRemoteCall_InvalidateTLB, mask);
|
/seL4-mcs-10.1.1/include/arch/x86/arch/smp/ |
H A D | ipi_inline.h | 30 static inline void doRemoteInvalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) argument 32 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidatePageStructureCacheASID, root, asid, mask); 35 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument 37 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationSingle, vptr, mask); 40 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument 42 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidateTranslationSingleASID, vptr, asid, mask); 45 static inline void doRemoteInvalidateTranslationAll(word_t mask) argument 47 doRemoteMaskOp0Arg(IpiRemoteCall_InvalidateTranslationAll, mask);
|
/seL4-mcs-10.1.1/src/smp/ |
H A D | ipi.c | 87 void doRemoteMaskOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument 89 /* make sure the current core is not set in the mask */ 90 mask &= ~BIT(getCurrentCPUIndex()); 94 if (mask != 0) { 95 init_ipi_args(func, data1, data2, data3, mask); 99 ipi_send_mask(irq_remote_call_ipi, mask, true); 104 void doMaskReschedule(word_t mask) argument 106 /* make sure the current core is not set in the mask */ 107 mask &= ~BIT(getCurrentCPUIndex()); 108 if (mask ! 113 generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument [all...] |
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 31 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument 33 doRemoteMaskOp3Arg(IpiRemoteCall_InvalidatePCID, type, (word_t)vaddr, asid, mask); 36 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument 38 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidateASID, (word_t)vspace, asid, mask);
|
/seL4-mcs-10.1.1/include/smp/ |
H A D | ipi.h | 56 void generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking); 62 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking); 84 * Run a synchronous function on all cores specified by mask. Return when target cores 90 * @param mask cores to run function on 92 void doRemoteMaskOp(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask); 116 * @param cpu[mask] cores to run function on 118 static void inline doRemoteMaskOp0Arg(IpiRemoteCall_t func, word_t mask) 120 doRemoteMaskOp(func, 0, 0, 0, mask); 124 doRemoteMaskOp1Arg(IpiRemoteCall_t func, word_t data1, word_t mask) 126 doRemoteMaskOp(func, data1, 0, 0, mask); [all...] |
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/kernel/ |
H A D | tlb.h | 36 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument 39 SMP_COND_STATEMENT(doRemoteInvalidatePCID(type, vaddr, asid, mask)); 42 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument 45 SMP_COND_STATEMENT(doRemoteInvalidateASID(vspace, asid, mask));
|
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/ |
H A D | pic.h | 22 void pic_mask_irq(bool_t mask, irq_t irq);
|
H A D | ioapic.h | 19 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin);
|
/seL4-mcs-10.1.1/src/arch/x86/smp/ |
H A D | ipi.c | 24 word_t mask) 32 totalCoreBarrier = popcountl(mask); 88 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument 94 int core = wordBits - 1 - clzl(mask); 97 /* get mask of all cores in bitmask which are in same cluster as 'core' */ 98 word_t sub_mask = mask & cpu_mapping.other_indexes_in_cluster[core]; 114 mask &= ~(cpu_mapping.other_indexes_in_cluster[core] | BIT(core)); 116 } while (mask != 0); 126 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 131 x86_ipi_send_mask(interrupt_ipi, mask, isBlockin 22 init_ipi_args(IpiModeRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument [all...] |
/seL4-mcs-10.1.1/src/arch/arm/smp/ |
H A D | ipi.c | 24 word_t mask) 32 totalCoreBarrier = popcountl(mask); 75 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 77 generic_ipi_send_mask(ipi, mask, isBlocking); 22 init_ipi_args(IpiModeRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-mcs-10.1.1/include/ |
H A D | util.h | 159 CONST popcountl(unsigned long mask) argument 163 for (count = 0; mask; count++) { 164 mask &= mask - 1; // clear the least significant bit set 169 return __builtin_popcountl(mask);
|
/seL4-mcs-10.1.1/src/arch/x86/machine/ |
H A D | breakpoint.c | 66 bitwiseAndDr6Reg(word_t mask) argument 70 tmp = readDr6Reg() & mask; 87 bitwiseAndDr7Context(tcb_t *t, word_t mask) argument 89 t->tcbArch.tcbContext.breakpointState.dr[5] &= mask; 95 word_t mask; local 99 mask = (0x3u << X86_DEBUG_BP0_SIZE_SHIFT) | (0x3u << X86_DEBUG_BP0_TYPE_SHIFT); 102 mask = (0x3u << X86_DEBUG_BP1_SIZE_SHIFT) | (0x3u << X86_DEBUG_BP1_TYPE_SHIFT); 105 mask = (0x3u << X86_DEBUG_BP2_SIZE_SHIFT) | (0x3u << X86_DEBUG_BP2_TYPE_SHIFT); 109 mask = (0x3u << X86_DEBUG_BP3_SIZE_SHIFT) | (0x3u << X86_DEBUG_BP3_TYPE_SHIFT); 113 mask [all...] |
/seL4-mcs-10.1.1/src/machine/ |
H A D | io.c | 121 unsigned int mask = 0xF0000000u; local 137 while (!(mask & lower)) { 140 mask = mask >> 4;
|
/seL4-mcs-10.1.1/src/plat/pc99/machine/ |
H A D | pic.c | 39 * just mask all the irqs */ 44 void pic_mask_irq(bool_t mask, irq_t irq) argument 60 if (mask) {
|
H A D | ioapic.c | 68 /* mask and set 0 vector */ 90 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument 97 if (mask) {
|
/seL4-mcs-10.1.1/include/object/ |
H A D | structures.h | 101 word_t mask; local 104 mask = MASK(TCB_CNODE_RADIX + 1); 106 mask = MASK(type + 1); 109 return cap_zombie_cap_new((ptr & ~mask) | (number & mask), type);
|
/seL4-mcs-10.1.1/libsel4/tools/ |
H A D | bitfield_gen.py | 259 ret = (%(block)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d; 271 ret = (%(block)s_ptr->words[%(index)d] & 0x%(mask)x%(suf)s) """ \ 284 %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0)); 285 %(block)s.words[%(index)d] &= ~0x%(mask)x%(suf)s; 286 %(block)s.words[%(index)d] |= (v%(base)d %(w_shift_op)s %(shift)d) & 0x%(mask)x%(suf)s; 294 %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0)); 295 %(block)s_ptr->words[%(index)d] &= ~0x%(mask)x%(suf)s; 297 """%(shift)d) & 0x%(mask)x; 327 ret = (%(union)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d; 343 ret = (%(union)s_ptr->words[%(index)d] & 0x%(mask) [all...] |
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 259 ret = (%(block)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d; 271 ret = (%(block)s_ptr->words[%(index)d] & 0x%(mask)x%(suf)s) """ \ 284 %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0)); 285 %(block)s.words[%(index)d] &= ~0x%(mask)x%(suf)s; 286 %(block)s.words[%(index)d] |= (v%(base)d %(w_shift_op)s %(shift)d) & 0x%(mask)x%(suf)s; 294 %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0)); 295 %(block)s_ptr->words[%(index)d] &= ~0x%(mask)x%(suf)s; 297 """%(shift)d) & 0x%(mask)x; 327 ret = (%(union)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d; 343 ret = (%(union)s_ptr->words[%(index)d] & 0x%(mask) [all...] |
/seL4-mcs-10.1.1/tools/ |
H A D | bitfield_gen.py | 259 ret = (%(block)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d; 271 ret = (%(block)s_ptr->words[%(index)d] & 0x%(mask)x%(suf)s) """ \ 284 %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0)); 285 %(block)s.words[%(index)d] &= ~0x%(mask)x%(suf)s; 286 %(block)s.words[%(index)d] |= (v%(base)d %(w_shift_op)s %(shift)d) & 0x%(mask)x%(suf)s; 294 %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0)); 295 %(block)s_ptr->words[%(index)d] &= ~0x%(mask)x%(suf)s; 297 """%(shift)d) & 0x%(mask)x; 327 ret = (%(union)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d; 343 ret = (%(union)s_ptr->words[%(index)d] & 0x%(mask) [all...] |
/seL4-mcs-10.1.1/manual/parts/ |
H A D | threads.tex | 324 For some registers, the kernel will silently mask certain bits or ranges of bits off, and force them to contain certain
|