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

123

/seL4-test-master/tools/riscv-pk/pk/
H A Dsyscall.c490 if (n < ARRAY_SIZE(syscall_table))
492 else if (n - OLD_SYSCALL_THRESHOLD < ARRAY_SIZE(old_syscall_table))
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dframes.c59 for (int i = 0; i < ARRAY_SIZE(frame_types); i++) {
127 for (unsigned int i = 0; i < ARRAY_SIZE(frame_types); i++) {
H A Dcache.c119 int num_frame_types = ARRAY_SIZE(frame_types);
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dclock.h40 .pll_tbl_size = ARRAY_SIZE(_tbl), \
H A Dserial.c557 for (i = 0; i < ARRAY_SIZE(dev_defn); i++) {
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Darith.h127 #define ARRAY_SIZE(x) (sizeof(x)/sizeof((x)[0])) macro
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c93 for (i = 0; i < ARRAY_SIZE(split->heads); i++) {
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c66 #define NUM_COLORS ARRAY_SIZE(colors)
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dmain.c163 unsigned int num_untypeds = allocate_untypeds(untypeds, UINT_MAX, ARRAY_SIZE(untyped_size_bits_list));
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c682 for (int i = 0; i < ARRAY_SIZE(pic_ioports); i++) {
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c1008 for (int j = 0; j < ARRAY_SIZE(gic_dist->targets0[i]); j++) {
1015 for (int i = 0; i < ARRAY_SIZE(gic_dist->targets); i++) {

Completed in 306 milliseconds

123