/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | null.h | 24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument 30 static inline void _mspace_null_free(struct allocman *alloc, void *unused, void *ptr, size_t bytes) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | malloc.c | 18 void *_mspace_malloc_alloc(allocman_t *alloc, void *unused, size_t bytes, int *error) argument
|
/seL4-camkes-master/projects/musllibc/src/sched/ |
H A D | sched_getcpu.c | 15 static long getcpu_init(unsigned *cpu, unsigned *node, void *unused) argument
|
/seL4-camkes-master/projects/musllibc/arch/arm/bits/ |
H A D | user.h | 4 unsigned unused:15; member in struct:user_fpregs::fp_reg
|
/seL4-camkes-master/projects/musllibc/arch/arm_sel4/bits/ |
H A D | user.h | 4 unsigned unused:15; member in struct:user_fpregs::fp_reg
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/ |
H A D | meson_timer.h | 78 uint32_t unused[13]; member in struct:__anon720
|
/seL4-camkes-master/tools/rumprun/platform/hw/arch/i386/ |
H A D | machdep.c | 58 x86_fillgate(int num, void *fun, int unused) argument
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/ |
H A D | common.c | 155 unsigned long unused; local 294 unsigned long unused; local [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_arp.c | 49 static void update_max_arp_reqs(pico_time now, void *unused) argument
|
H A D | pico_icmp6.h | 124 uint32_t unused; variable 130 uint32_t unused; variable 148 uint32_t unused; variable 158 uint32_t unused; variable
|
H A D | pico_olsr.c | 1040 static void olsr_hello_tick(pico_time when, void *unused) argument 1058 static void olsr_tc_tick(pico_time when, void *unused) argument
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | resolv.h | 40 unsigned unused:23; member in struct:__res_state
|
/seL4-camkes-master/projects/musllibc/include/scsi/ |
H A D | sg.h | 97 int unused[2]; member in struct:sg_scsi_id 108 int unused; member in struct:sg_req_info
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 455 u16 unused; member in struct:icmp_hdr::__anon643::__anon645
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 463 u16 unused; member in struct:icmp_hdr::__anon115::__anon117
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/ |
H A D | bpmp.h | 888 int32_t unused; member in struct:cmd_clk_set_rate_request 897 int32_t unused; member in struct:cmd_clk_round_rate_request
|
/seL4-camkes-master/projects/musllibc/include/arpa/ |
H A D | nameser.h | 333 unsigned unused :1; member in struct:__anon249 346 unsigned unused :1; member in struct:__anon249
|