/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
H A D | sel4bench.h | 123 uint32_t mask = args[0]; local
|
/seL4-test-master/kernel/src/arch/x86/smp/ |
H A D | ipi.c | 82 static void x86_ipi_send_mask(interrupt_t ipi, word_t mask, bool_t isBlocking) argument 120 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 [all...] |
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/drivers/ |
H A D | smp-imx6.c | 65 uint32_t mask = 1 << (BP_SRC_SCR_CORE1_ENABLE + (cpu->cpu_id - 1)); local
|
/seL4-test-master/tools/seL4/elfloader-tool/src/plat/imx7/ |
H A D | smp.c | 67 unsigned int mask, val; local
|
/seL4-test-master/kernel/src/arch/riscv/smp/ |
H A D | ipi.c | 59 void ipi_send_mask(irq_t ipi, word_t mask, bool_t isBlocking) argument 18 init_ipi_args(IpiRemoteCall_t func, word_t data1, word_t data2, word_t data3, word_t mask) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | cr.c | 24 static inline unsigned int apply_cr_bits(unsigned int cr, unsigned int mask, unsigned int host_bits) argument
|
/seL4-test-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 254 sel4bench_stop_counters(counter_bitfield_t mask) argument [all...] |
/seL4-test-master/projects/musllibc/include/sys/ |
H A D | inotify.h | 13 uint32_t mask, cookie, len; member in struct:inotify_event
|
H A D | fanotify.h | 13 unsigned long long mask member in struct:fanotify_event_metadata
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mtrap.c | 105 uintptr_t mask = hart_mask; local
|
/seL4-test-master/kernel/src/plat/pc99/machine/ |
H A D | ioapic.c | 87 void ioapic_mask(bool_t mask, uint32_t ioapic, uint32_t pin) argument
|
/seL4-test-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 176 static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) argument 184 static FASTFN void sel4bench_stop_counters(counter_bitfield_t mask) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4bga/src/arch-x86/ |
H A D | bga.c | 71 const uint16_t mask = (uint16_t)~0xb0c0; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vmct.c | 48 uint32_t mask; local
|
H A D | vclock.c | 286 void *mask[NCLKREGS]; member in struct:clock_device 330 uint32_t *mask; local [all...] |
H A D | vgpio.c | 74 uint32_t mask = 0; local 107 uint32_t mask; local [all...] |
H A D | irq_combiner.c | 143 uint32_t mask; local
|
H A D | vuart.c | 105 uint32_t mask; local 211 uint32_t *mask = (uint32_t *)calloc(1, mask_size); local [all...] |
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | phy.h | 124 unsigned int mask; member in struct:phy_driver
|
/seL4-test-master/projects/musllibc/arch/s390x/bits/ |
H A D | user.h | 18 unsigned long mask, addr; member in struct:_user_psw_struct
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 149 unsigned char mask = 0x80; local
|
/seL4-test-master/kernel/include/ |
H A D | util.h | 157 CONST popcountl(unsigned long mask) argument
|
/seL4-test-master/kernel/include/arch/riscv/arch/ |
H A D | machine.h | 54 unsigned long mask = 0; local 68 unsigned long mask = 0; local 86 unsigned long mask = 0; local
|
/seL4-test-master/projects/musllibc/src/malloc/ |
H A D | malloc.c | 350 uint64_t mask = mal.binmap & -(1ULL<<i); local
|
/seL4-test-master/projects/musllibc/src/network/ |
H A D | lookup_name.c | 214 unsigned char len, mask; member in struct:policy
|