Searched refs:ARRAY_SIZE (Results 1 - 25 of 61) sorted by relevance

123

/seL4-test-master/kernel/include/arch/arm/arch/
H A Dbootinfo.h13 #define MAX_NUM_FREEMEM_REG (ARRAY_SIZE(avail_p_regs) + MODE_RESERVED + 1 + 1)
17 * - 1 for each kernel device (ARRAY_SIZE(kernel_devices))
21 #define MAX_NUM_RESV_REG (MAX_NUM_FREEMEM_REG + ARRAY_SIZE(kernel_devices) + MODE_RESERVED + 3)
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a53/
H A Devent_counters.c26 return ARRAY_SIZE(sel4bench_cpu_event_counter_data);
/seL4-test-master/kernel/include/arch/riscv/arch/
H A Dbootinfo.h12 * - 1 for each kernel device (ARRAY_SIZE(kernel_devices))
17 #define MAX_NUM_RESV_REG (MAX_NUM_FREEMEM_REG + ARRAY_SIZE(kernel_devices) + MODE_RESERVED + 3)
19 /* spike has no devices, and ARRAY_SIZE(NULL) is invalid. */
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dtls.c29 for (i = 0; i < ARRAY_SIZE(bss_array); i++) {
33 for (i = 0; i < ARRAY_SIZE(data_array); i++) {
51 for (i = 0; i < ARRAY_SIZE(bss_array); i++) {
55 for (i = 0; i < ARRAY_SIZE(data_array); i++) {
59 for (i = 0; i < ARRAY_SIZE(bss_array); i++) {
62 for (i = 0; i < ARRAY_SIZE(data_array); i++) {
63 data_array[i] = helper * ARRAY_SIZE(data_array) + i;
70 for (i = 0; i < ARRAY_SIZE(bss_array); i++) {
73 for (i = 0; i < ARRAY_SIZE(data_array); i++) {
74 test_eq(data_array[i], helper * ARRAY_SIZE(data_arra
[all...]
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/arm1136jf-s/
H A Devent_counters.c47 return ARRAY_SIZE(sel4bench_arch_event_counter_data);
53 return ARRAY_SIZE(sel4bench_cpu_event_counter_data);
/seL4-test-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dsel4bench.h73 static_assert(ARRAY_SIZE(GENERIC_EVENTS) == ARRAY_SIZE(GENERIC_EVENT_NAMES), variable
77 #define SEL4BENCH_NUM_GENERIC_EVENTS ARRAY_SIZE(GENERIC_EVENTS)
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h21 #define SEL4_NUM_PAGE_SIZES ((int) ARRAY_SIZE(sel4_page_sizes))
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dchardev.c41 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dchardev.c44 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dchardev.c41 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmxc_gpio.c93 if (port >= ARRAY_SIZE(gpio_ports)) {
129 if (port >= ARRAY_SIZE(gpio_ports)) {
154 if (port >= ARRAY_SIZE(gpio_ports)) {
170 if (port >= ARRAY_SIZE(gpio_ports)) {
/seL4-test-master/projects/seL4_libs/libsel4debug/src/
H A Dbootinfo.c41 assert(index < ARRAY_SIZE(sizes));
48 for (int i = 0; i < ARRAY_SIZE(sizes); i++) {
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/armv/armv7-a/
H A Devent_counters.c57 return ARRAY_SIZE(sel4bench_arch_event_counter_data);
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a8/
H A Devent_counters.c51 return ARRAY_SIZE(sel4bench_cpu_event_counter_data);
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dchardev.c41 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dchardev.c45 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dchardev.c47 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dchardev.c47 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dchardev.c49 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx31/
H A Dchardev.c50 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dchardev.c49 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx7/
H A Dchardev.c49 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx8m/
H A Dchardev.c47 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dchardev.c50 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/omap3/
H A Dchardev.c49 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {

Completed in 91 milliseconds

123