/seL4-refos-master/libs/libmuslc/src/signal/ |
H A D | sigset.c | 6 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 D | sigtimedwait.c | 6 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 D | sigaction.c | 42 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 D | private.h | 44 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 D | sel4bench.h | 128 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 D | ipi_inline.h | 25 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 D | ipi.h | 24 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 D | private.h | 43 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 D | sel4bench.h | 120 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 D | fanotify.c | 9 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 D | ppoll.c | 6 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 D | inotify.c | 18 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 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(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 D | wait_bit.h | 30 * @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 D | newlocale.c | 11 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 D | modf.c | 6 uint64_t mask; local 25 mask = -1ULL>>12>>e; 26 if ((u.i & mask) == 0) { 31 u.i &= ~mask;
|
H A D | modff.c | 6 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 D | tlb.h | 29 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 D | pselect.c | 7 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 D | pic.h | 17 void pic_mask_irq(bool_t mask, irq_t irq);
|
/seL4-refos-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/ |
H A D | sel4bench.h | 127 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 D | sel4bench.h | 165 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 D | ipi.c | 18 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 D | sel4bench.h | 235 * @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 D | common.h | 51 #define __ALIGN_MASK(x,mask) (((x)+(mask))&~(mask))
|