Searched refs:name (Results 1 - 25 of 517) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/musllibc/src/conf/
H A Dpathconf.c3 long pathconf(const char *path, int name) argument
5 return fpathconf(-1, name);
H A Dconfstr.c5 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 Dcamkes-dynamic-untyped-allocators.h20 #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 Dcamkes-picotcp-ethernet-async.h19 #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 Dundefs.c33 #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 Dundefs.c33 #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 Dmain.c12 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 Dcamkes-picotcp-base.h19 #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 Dcompile_time.h17 #define compile_time_assert(name, expr) static_assert((expr), #name)
H A Dlinear_algebra.h15 * 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 Dsem_unlink.c4 int sem_unlink(const char *name) argument
6 return shm_unlink(name);
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Dmemp.h18 * 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 Dcamkes-x86-iospace-dma.h18 #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 Dmain.c23 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 Dwaittypes.h17 #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 Dlibc_stubs.c30 #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 Devent_counters.h17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/
H A Devent_counters.h16 #define NAME_EVENT(id, name) EVENT_COUNTER_FORMAT(SEL4BENCH_EVENT_##id, name)
/seL4-camkes-master/projects/musllibc/src/linux/
H A Dsethostname.c5 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 Dsetdomainname.c5 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 Dshm_open.c11 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 Dcatopen.c3 nl_catd catopen (const char *name, int oflag) argument
/seL4-camkes-master/projects/musllibc/src/mq/
H A Dmq_unlink.c5 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 Dpico_dev_null.h12 struct pico_device *pico_null_create(const char *name);
H A Dpico_dev_tap.h12 struct pico_device *pico_tap_create(char *name);

Completed in 145 milliseconds

1234567891011>>