/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_vcpu_fault.c | 11 seL4_Word fault_data, mask, byte_shift; local
|
/seL4-test-master/projects/musllibc/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
|
/seL4-test-master/projects/musllibc/src/fenv/ |
H A D | fenv.c | 5 int feclearexcept(int mask) argument 10 int feraiseexcept(int mask) argument 15 int fetestexcept(int mask) argument
|
/seL4-test-master/projects/musllibc/src/linux/ |
H A D | fanotify.c | 9 int fanotify_mark(int fanotify_fd, unsigned flags, unsigned long long mask, argument
|
H A D | inotify.c | 18 int inotify_add_watch(int fd, const char *pathname, uint32_t mask) argument
|
/seL4-test-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 35 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/smp/ |
H A D | ipi.h | 22 static void inline doRemoteInvalidateTLBEntry(vptr_t vptr, word_t mask) argument 27 static void inline doRemoteInvalidatePageStructureCache(word_t mask) argument 32 static void inline doRemoteInvalidateTLB(word_t mask) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | tlb.h | 11 static inline void invalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) argument 17 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) argument 23 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument 29 static inline void invalidateTranslationAll(word_t mask) argument
|
/seL4-test-master/projects/musllibc/src/fenv/s390x/ |
H A D | fenv.c | 15 int feclearexcept(int mask) argument 22 int feraiseexcept(int mask) argument 29 int fetestexcept(int mask) argument
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | pic.c | 39 void pic_mask_irq(bool_t mask, irq_t irq) argument
|
/seL4-test-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 30 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask) argument 35 static inline void doRemoteInvalidateTranslationAll(word_t mask) argument
|
/seL4-test-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 29 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/smp/ |
H A D | ipi_inline.h | 23 static inline void doRemoteInvalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) argument 28 static inline void doRemoteInvalidateTranslationSingle(vptr_t vptr, word_t mask) argument 33 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) argument 38 static inline void doRemoteInvalidateTranslationAll(word_t mask) argument
|
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
H A D | sel4bench.h | 128 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument 160 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) argument 168 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask) argument
|
H A D | private.h | 44 static FASTFN void sel4bench_private_write_intens(uint32_t mask) argument 52 static FASTFN void sel4bench_private_write_intenc(uint32_t mask) argument 118 static FASTFN void sel4bench_private_write_cntens(uint32_t mask) argument 128 uint32_t mask; local 136 static FASTFN void sel4bench_private_write_cntenc(uint32_t mask) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
H A D | sel4bench.h | 120 static CACHESENSFN ccnt_t sel4bench_get_counters(counter_bitfield_t mask, ccnt_t *values) argument 152 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) argument 160 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask) argument
|
H A D | private.h | 43 static FASTFN void sel4bench_private_write_intens(uint32_t mask) argument 56 static FASTFN void sel4bench_private_write_intenc(uint32_t mask) argument 113 static FASTFN void sel4bench_private_write_cntens(uint32_t mask) argument 120 uint32_t mask; local 129 static FASTFN void sel4bench_private_write_cntenc(uint32_t mask) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | erst.h | 22 uint64_t mask; member in struct:acpi_erst_entry
|
/seL4-test-master/kernel/src/arch/arm/smp/ |
H A D | ipi.c | 81 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 16 init_ipi_args(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-test-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 104 void doMaskReschedule(word_t mask) argument 113 generic_ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | guest_vcpu_fault_arch.c | 49 seL4_Word mask = 0; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | ac_device.c | 16 void *mask; member in struct:gac_device_priv 36 seL4_Word mask, result; local 74 int vm_install_generic_ac_device(vm_t *vm, const struct device *d, void *mask, argument [all...] |
/seL4-test-master/projects/musllibc/src/network/ |
H A D | getaddrinfo.c | 31 const int mask = AI_PASSIVE | AI_CANONNAME | AI_NUMERICHOST | local
|
/seL4-test-master/projects/musllibc/src/search/ |
H A D | hsearch.c | 21 size_t mask; member in struct:__tab
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 23 size_t mask = MASK(bits); local
|