Searched refs:mask (Results 1 - 23 of 23) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/kernel/
H A Dtlb.h19 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 Dtlb.h18 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 Dipi_inline.h32 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 Dipi.h30 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 Dipi_inline.h30 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 Dipi.c87 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 Dipi.h31 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 Dipi.h56 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 Dtlb.h36 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 Dpic.h22 void pic_mask_irq(bool_t mask, irq_t irq);
H A Dioapic.h19 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin);
/seL4-mcs-10.1.1/src/arch/x86/smp/
H A Dipi.c24 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 Dipi.c24 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 Dutil.h159 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 Dbreakpoint.c66 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 Dio.c121 unsigned int mask = 0xF0000000u; local
137 while (!(mask & lower)) {
140 mask = mask >> 4;
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dpic.c39 * just mask all the irqs */
44 void pic_mask_irq(bool_t mask, irq_t irq) argument
60 if (mask) {
H A Dioapic.c68 /* 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 Dstructures.h101 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 Dbitfield_gen.py259 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 Dbitfield_gen.py259 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 Dbitfield_gen.py259 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 Dthreads.tex324 For some registers, the kernel will silently mask certain bits or ranges of bits off, and force them to contain certain

Completed in 103 milliseconds