/seL4-camkes-master/projects/musllibc/src/conf/ |
H A D | pathconf.c | 3 long pathconf(const char *path, int name) argument 5 return fpathconf(-1, name);
|
H A D | confstr.c | 5 size_t confstr(int name, char *buf, size_t len) argument 8 if (!name) { 10 } else if ((name&~4U)!=1 && name-_CS_POSIX_V6_ILP32_OFF32_CFLAGS>33U) {
|
/seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/camkes-include/ |
H A D | camkes-dynamic-untyped-allocators.h | 20 #define dynamic_untyped_allocators_interfaces(name) \ 21 emits Init name##_init1; \ 22 consumes Init name##_init2; 24 #define dynamic_untyped_allocators_connections(name) \ 25 connection DynamicUntypedAllocatorEnvironment name##_init(from name##_init1, to name##_init2); 28 #define dynamic_untyped_allocators_configuration(name) \ 29 name##_init.connection_name = VAR_STRINGIZE(name); [all...] |
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/camkes-include/ |
H A D | camkes-picotcp-ethernet-async.h | 19 #define picotcp_ethernet_async_client_interfaces(name) \ 20 uses picotcp_ethernet_async_control name##_control; \ 21 dataport Buf name##_dma_pool; \ 22 uses VirtQueueDrv name##_tx; \ 23 uses VirtQueueDrv name##_rx; \ 24 emits Init name##_init1; \ 25 consumes Init name##_init2; 28 #define picotcp_ethernet_async_server_interfaces(name) \ 29 provides picotcp_ethernet_async_control name##_control; \ 30 dataport Buf name##_dma_poo [all...] |
/seL4-camkes-master/tools/rumprun/platform/hw/ |
H A D | undefs.c | 33 #define NOTHING(name) \ 34 int name(void); int name(void) \ 35 {bmk_printf("unimplemented: " #name "\n"); for (;;);} 37 #define REALNOTHING(name, rv) \ 38 int name(void); int name(void) {return rv;}
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | undefs.c | 33 #define NOTHING(name) \ 34 int name(void); int name(void) \ 35 {bmk_printf("unimplemented: " #name "\n"); for (;;);} 37 #define REALNOTHING(name, rv) \ 38 int name(void); int name(void) {return rv;}
|
/seL4-camkes-master/projects/camkes/apps/mutex/components/A/src/ |
H A D | main.c | 12 const char *name = get_instance_name(); local 13 printf("%s: Started\n", name); 15 printf("%s: Trying to acquire the lock...\n", name); 17 printf("%s: Got it!\n", name); 19 printf("%s: Let's do some long running calculation (or more accurately, waste time)...\n", name); 23 printf("%s: Releasing the lock...\n", name); 25 printf("%s: Done; let's spin.\n", name);
|
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/camkes-include/ |
H A D | camkes-picotcp-base.h | 19 #define picotcp_base_interfaces(name) \ 20 uses Timer name##_timer; \ 21 attribute string name##_ip_addr = ""; \ 22 attribute string name##_multicast_addr; \ 23 emits Init name##_init1; \ 24 consumes Init name##_init2; 27 #define picotcp_base_connections(instance, name, timeserver_interface) \ 28 connection PicotcpBaseInit instance##_##name##_init(from instance.name##_init1, to instance.name##_init [all...] |
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | compile_time.h | 17 #define compile_time_assert(name, expr) static_assert((expr), #name)
|
H A D | linear_algebra.h | 15 * This file provides the macro VECTOR_2D_DEFINITION(name, T) 18 * names) prefixed with "name". 44 #define VECTOR_2D_DEFINITION(name, T) \ 48 } name##_t; \ 49 static inline void name##_add(name##_t *a, name##_t *b, name##_t *result) {\ 53 static inline void name##_subtract(name##_ [all...] |
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | sem_unlink.c | 4 int sem_unlink(const char *name) argument 6 return shm_unlink(name);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | memp.h | 18 * 3. The name of the author may not be used to endorse or promote products 48 #define LWIP_MEMPOOL(name,num,size,desc) 53 #define LWIP_MEMPOOL(name,num,size,desc) MEMP_##name, 67 #define LWIP_MEMPOOL_PROTOTYPE(name) extern const struct memp_desc memp_ ## name 71 #define LWIP_MEMPOOL_DECLARE(name,num,size,desc) \ 72 LWIP_MEMPOOL_DECLARE_STATS_INSTANCE(memp_stats_ ## name) \ 73 const struct memp_desc memp_ ## name = { \ 75 LWIP_MEMPOOL_DECLARE_STATS_REFERENCE(memp_stats_ ## name) \ [all...] |
/seL4-camkes-master/projects/global-components/components/modules/x86-iospace-dma/camkes-include/ |
H A D | camkes-x86-iospace-dma.h | 18 #define x86_iospace_dma_interfaces(name, iospace_config) \ 19 emits Init name##_init1; \ 20 consumes Init name##_init2; \ 24 #define x86_iospace_dma_connections(name) \ 25 connection x86IOSpaceDMA name##_init(from name##_init1, to name##_init2); 28 #define x86_iospace_dma_configuration(name) \ 29 name##_init.connection_name = VAR_STRINGIZE(name); [all...] |
/seL4-camkes-master/projects/camkes/apps/mutex/components/B/src/ |
H A D | main.c | 23 const char *name = get_instance_name(); local 25 printf("%s: started.\n", name); 27 printf("%s: trying to acquire the lock...\n", name); 29 printf("%s: got it!\n", name); 31 printf("%s: Let's do some actual work (not like that other lazy instance)...\n", name); 34 printf("%s: So, it turns out factorial %llu is %llu\n", name, n, result); 35 printf("%s: Let's take a breather...\n", name); 39 printf("%s: Unlocking...\n", name); 42 printf("%s: Exiting\n", name);
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | waittypes.h | 17 #define DECLARE_WAIT_QUEUE_HEAD(name) \ 18 struct wait_queue_head name = STAILQ_HEAD_INITIALIZER(name) 20 #define __WAIT_QUEUE_HEAD_INITIALIZER(name) STAILQ_HEAD_INITIALIZER(name)
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | libc_stubs.c | 30 #define STUB_ERRNO(name) \ 31 int name(void); int name(void) { \ 35 fprintf(stderr, "STUB ``%s'' called\n", #name); \ 38 #define STUB_SILENT_IGNORE(name) \ 39 int name(void); int name(void) { \ 44 fprintf(stderr, "``%s'' ignored\n", #name); \ 47 #define STUB_RETURN(name) \ 48 int name(voi [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/arch/arm/ |
H A D | event_counters.h | 17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/ |
H A D | event_counters.h | 16 #define NAME_EVENT(id, name) EVENT_COUNTER_FORMAT(SEL4BENCH_EVENT_##id, name)
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | sethostname.c | 5 int sethostname(const char *name, size_t len) argument 7 return syscall(SYS_sethostname, name, len);
|
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | setdomainname.c | 5 int setdomainname(const char *name, size_t len) argument 7 return syscall(SYS_setdomainname, name, len);
|
/seL4-camkes-master/projects/musllibc/src/mman/ |
H A D | shm_open.c | 11 char *__shm_mapname(const char *name, char *buf) argument 14 while (*name == '/') name++; 15 if (*(p = __strchrnul(name, '/')) || p==name || 16 (p-name <= 2 && name[0]=='.' && p[-1]=='.')) { 20 if (p-name > NAME_MAX) { 25 memcpy(buf+9, name, p-name 29 shm_open(const char *name, int flag, mode_t mode) argument 40 shm_unlink(const char *name) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/locale/ |
H A D | catopen.c | 3 nl_catd catopen (const char *name, int oflag) argument
|
/seL4-camkes-master/projects/musllibc/src/mq/ |
H A D | mq_unlink.c | 5 int mq_unlink(const char *name) argument 8 if (*name == '/') name++; 9 ret = __syscall(SYS_mq_unlink, name);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_null.h | 12 struct pico_device *pico_null_create(const char *name);
|
H A D | pico_dev_tap.h | 12 struct pico_device *pico_tap_create(char *name);
|