Searched refs:mask (Results 26 - 50 of 137) sorted by relevance

123456

/seL4-refos-master/libs/libmuslc/src/signal/
H A Dsigset.c6 sigset_t mask, mask_old; local
8 sigemptyset(&mask);
9 if (sigaddset(&mask, sig) < 0)
15 if (sigprocmask(SIG_BLOCK, &mask, &mask_old) < 0)
23 if (sigprocmask(SIG_UNBLOCK, &mask, &mask_old) < 0)
H A Dsigtimedwait.c6 int sigtimedwait(const sigset_t *restrict mask, siginfo_t *restrict si, const struct timespec *restrict timeout) argument
9 do ret = syscall_cp(SYS_rt_sigtimedwait, mask,
H A Dsigaction.c42 memcpy(&ksa.mask, &sa->sa_mask, sizeof ksa.mask);
44 if (syscall(SYS_rt_sigaction, sig, sa?&ksa:0, old?&ksa_old:0, sizeof ksa.mask))
49 memcpy(&old->sa_mask, &ksa_old.mask, sizeof ksa_old.mask);
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/
H A Dprivate.h44 static FASTFN void sel4bench_private_write_intens(uint32_t mask) argument
49 : "r"(mask)
52 static FASTFN void sel4bench_private_write_intenc(uint32_t mask) argument
57 : "r"(mask)
118 static FASTFN void sel4bench_private_write_cntens(uint32_t mask) argument
123 : "r"(mask)
128 uint32_t mask; local
131 : "=r"(mask)
134 return mask;
136 static FASTFN void sel4bench_private_write_cntenc(uint32_t mask) argument
[all...]
H A Dsel4bench.h128 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument
138 for (; mask != 0; mask >>= 1, counter++) { //for each counter...
139 if (mask & 1) { //... if we care about it...
160 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) argument
165 return sel4bench_private_write_cntens(mask);
168 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask) argument
174 return sel4bench_private_write_cntenc(mask & ~BIT(SEL4BENCH_ARMV7A_COUNTER_CCNT));
/seL4-refos-master/kernel/include/arch/arm/arch/smp/
H A Dipi_inline.h25 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument
27 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationSingle, vptr, mask);
30 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask) argument
32 doRemoteMaskOp1Arg(IpiRemoteCall_InvalidateTranslationASID, asid, mask);
35 static inline void doRemoteInvalidateTranslationAll(word_t mask) argument
37 doRemoteMaskOp0Arg(IpiRemoteCall_InvalidateTranslationAll, mask);
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/smp/
H A Dipi.h24 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
26 doRemoteMaskOp3Arg((IpiRemoteCall_t)IpiRemoteCall_InvalidatePCID, type, (word_t)vaddr, asid, mask);
29 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument
31 doRemoteMaskOp2Arg((IpiRemoteCall_t)IpiRemoteCall_InvalidateASID, (word_t)vspace, asid, mask);
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/
H A Dprivate.h43 static FASTFN void sel4bench_private_write_intens(uint32_t mask) argument
45 PMU_WRITE(PMINTENSET, mask);
56 static FASTFN void sel4bench_private_write_intenc(uint32_t mask) argument
58 PMU_WRITE(PMINTENCLR, mask);
113 static FASTFN void sel4bench_private_write_cntens(uint32_t mask) argument
115 PMU_WRITE(PMCNTENSET, mask);
120 uint32_t mask; local
121 PMU_READ(PMCNTENSET, mask);
122 return mask;
129 static FASTFN void sel4bench_private_write_cntenc(uint32_t mask) argument
[all...]
H A Dsel4bench.h120 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument
130 for (; mask != 0; mask >>= 1, counter++) { //for each counter...
131 if (mask & 1) { //... if we care about it...
152 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) argument
157 return sel4bench_private_write_cntens(mask);
160 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask) argument
166 return sel4bench_private_write_cntenc(mask & ~BIT(SEL4BENCH_ARMV8A_COUNTER_CCNT));
/seL4-refos-master/libs/libmuslc/src/linux/
H A Dfanotify.c9 int fanotify_mark(int fanotify_fd, unsigned flags, unsigned long long mask, argument
12 return syscall(SYS_fanotify_mark, fanotify_fd, flags, __SYSCALL_LL_E(mask), dfd, pathname);
H A Dppoll.c6 int ppoll(struct pollfd *fds, nfds_t n, const struct timespec *to, const sigset_t *mask) argument
9 to ? (struct timespec []){*to} : 0, mask, _NSIG/8);
H A Dinotify.c18 int inotify_add_watch(int fd, const char *pathname, uint32_t mask) argument
20 return syscall(SYS_inotify_add_watch, fd, pathname, mask);
/seL4-refos-master/kernel/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(CORE_IRQ_TO_IRQT(0, 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-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dwait_bit.h30 * @param mask Bit(s) of register that must be active
40 const type mask, \
54 if ((val & mask) == mask) \
/seL4-refos-master/libs/libmuslc/src/locale/
H A Dnewlocale.c11 locale_t __newlocale(int mask, const char *name, locale_t loc) argument
20 if (mask & (1<<i))
31 if (loc && !(mask & (1<<i)))
34 lm = __get_locale(i, mask & (1<<i) ? name : "");
/seL4-refos-master/libs/libmuslc/src/math/
H A Dmodf.c6 uint64_t mask; local
25 mask = -1ULL>>12>>e;
26 if ((u.i & mask) == 0) {
31 u.i &= ~mask;
H A Dmodff.c6 uint32_t mask; local
25 mask = 0x007fffff>>e;
26 if ((u.i & mask) == 0) {
31 u.i &= ~mask;
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/kernel/
H A Dtlb.h29 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
32 SMP_COND_STATEMENT(doRemoteInvalidatePCID(type, vaddr, asid, mask));
35 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument
38 SMP_COND_STATEMENT(doRemoteInvalidateASID(vspace, asid, mask));
/seL4-refos-master/libs/libmuslc/src/select/
H A Dpselect.c7 int pselect(int n, fd_set *restrict rfds, fd_set *restrict wfds, fd_set *restrict efds, const struct timespec *restrict ts, const sigset_t *restrict mask) argument
9 syscall_arg_t data[2] = { (uintptr_t)mask, _NSIG/8 };
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/
H A Dpic.h17 void pic_mask_irq(bool_t mask, irq_t irq);
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/
H A Dsel4bench.h127 static inline ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument
132 for (; mask != 0 ; mask >>= 1, counter++) {
133 if (mask & 1) {
176 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) argument
184 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask) argument
187 if (mask & (1 << 3)) {
191 if (mask & (1 << 4)) {
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h165 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t* values) argument
170 for (; mask != 0; mask >>= 1, counter++)
171 if (mask & 1) {
201 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask)
210 if (mask == ~(0UL)) {
211 mask = ((BIT(num_counters)) - 1);
213 assert((~((BIT(num_counters)) - 1) & mask) == 0);
221 assert(mask == 0x3);
222 if (mask
254 sel4bench_stop_counters(counter_bitfield_t mask) argument
[all...]
/seL4-refos-master/kernel/src/arch/x86/smp/
H A Dipi.c18 word_t mask)
26 totalCoreBarrier = popcountl(mask);
82 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument
88 int core = wordBits - 1 - clzl(mask);
91 /* get mask of all cores in bitmask which are in same cluster as 'core' */
92 word_t sub_mask = mask & cpu_mapping.other_indexes_in_cluster[core];
108 mask &= ~(cpu_mapping.other_indexes_in_cluster[core] | BIT(core));
110 } while (mask != 0);
120 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument
125 x86_ipi_send_mask(interrupt_ipi, mask, isBlockin
16 init_ipi_args(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dsel4bench.h235 * @return mask usable to manipulate the counters enabled
245 counter_bitfield_t mask = 0;
253 mask |= BIT(i);
257 sel4bench_start_counters(mask);
258 return mask;
262 * Read and stop the counters set in `mask`.
270 * @param mask as returned by `sel4bench_enable_counters()`
275 static inline void sel4bench_read_and_stop_counters(counter_bitfield_t mask,
280 sel4bench_get_counters(mask, &results[chunk * n_counters]);
281 sel4bench_stop_counters(mask);
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dcommon.h51 #define __ALIGN_MASK(x,mask) (((x)+(mask))&~(mask))

Completed in 142 milliseconds

123456