/seL4-camkes-master/tools/rumprun/include/bmk-core/ |
H A D | null.h | 10 #ifndef NULL 13 #define NULL ((void *)0) macro 15 #define NULL 0 macro 18 #define NULL __null macro
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | ecp.c | 77 { NULL } 105 NULL, /* ecp_input, */ 106 NULL, /* ecp_protrej, */ 107 NULL, /* ecp_lowerup, */ 108 NULL, /* ecp_lowerdown, */ 109 NULL, /* ecp_open, */ 110 NULL, /* ecp_close, */ 115 NULL, /* ecp_datainput, */ 123 NULL, 126 NULL, [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/ |
H A D | misc_devices.c | 14 .handle_device_fault = NULL, 15 .priv = NULL 23 .handle_device_fault = NULL, 24 .priv = NULL 31 .handle_device_fault = NULL, 32 .priv = NULL 39 .handle_device_fault = NULL, 40 .priv = NULL 47 .handle_device_fault = NULL, 48 .priv = NULL [all...] |
H A D | vclock.c | 15 .handle_device_fault = NULL, 16 .priv = NULL
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/arch/arm/ |
H A D | event_counters.c | 18 return NULL; 24 return NULL;
|
/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/ |
H A D | types.h | 6 #ifndef NULL 7 #define NULL (void *)0 macro
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | misc_devices.c | 14 .handle_device_fault = NULL, 15 .priv = NULL 23 .handle_device_fault = NULL, 24 .priv = NULL 32 .handle_device_fault = NULL, 33 .priv = NULL 40 .handle_device_fault = NULL, 41 .priv = NULL 49 .handle_device_fault = NULL, 50 .priv = NULL [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ |
H A D | sem-bare.h | 37 assert(value != NULL); 47 seL4_WaitWithMRs(ep, NULL, NULL); 49 seL4_RecvWithMRs(ep, NULL, NULL, NULL); 53 seL4_WaitWithMRs(ep, NULL, NULL, NULL, NULL, NUL [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tx2/ |
H A D | clock.c | 19 clk_t *ps_clocks = NULL;
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/ |
H A D | printf.h | 9 #define NULL ((void *)0) macro
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | netbuf.c | 60 * NULL on lack of memory 68 if (buf != NULL) { 83 if (buf != NULL) { 84 if (buf->p != NULL) { 86 buf->p = buf->ptr = NULL; 99 * NULL if no memory could be allocated 104 LWIP_ERROR("netbuf_alloc: invalid buf", (buf != NULL), return NULL;); 107 if (buf->p != NULL) { 111 if (buf->p == NULL) { [all...] |
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | list.c | 22 assert(l != NULL); 23 l->head = NULL; 30 if (n != NULL) { 32 n->next = NULL; 40 if (n == NULL) { 49 if (n == NULL) { 57 assert(l != NULL); 58 return l->head == NULL; 63 assert(l != NULL); 64 for (node_t *n = l->head; n != NULL; [all...] |
/seL4-camkes-master/projects/camkes/apps/event/components/Collector/src/ |
H A D | collector.c | 14 ev_reg_callback(&event_callback, NULL); 20 ev_reg_callback(event_callback, NULL);
|
/seL4-camkes-master/projects/camkes/apps/keyboard/components/Client/src/ |
H A D | main.c | 15 keypress_reg_callback(&keyboard_event_callback, NULL); 22 keypress_reg_callback(&keyboard_event_callback, NULL);
|
/seL4-camkes-master/projects/camkes/apps/testhardwareinterrupt/ |
H A D | C.c | 23 e_reg_callback(NULL, NULL);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/spike/platsupport/plat/ |
H A D | serial.h | 24 #define DEFAULT_SERIAL_PADDR NULL
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/uart/ |
H A D | common.c | 11 static struct elfloader_device *uart_out = NULL; 24 if (uart_out == NULL) { 25 return NULL; 32 if (uart_out == NULL) {
|
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | identity.c | 23 id_fn = NULL; 29 id_str = NULL; 33 * user previously told us. Note, this will return NULL if the user has not 38 if (id_fn != NULL) {
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_dns.c | 33 ret = pico_dns_client_nameserver(NULL, PICO_DNS_NS_ADD); 36 ret = pico_dns_client_nameserver(NULL, PICO_DNS_NS_DEL); 39 ret = pico_dns_client_nameserver(NULL, 99); 42 ret = pico_dns_client_nameserver(NULL, 0xFF); 68 /* ret = pico_dns_client_getaddr(url, cb_dns, NULL); / * ask correct one * / */ 71 ret = pico_dns_client_getaddr(NULL, cb_dns, NULL); 74 ret = pico_dns_client_getaddr(url, NULL, NULL); 79 /* ret = pico_dns_client_getname(ip, cb_dns, NULL); / * as [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | netifapi.h | 87 #define netifapi_netif_remove(n) netifapi_netif_common(n, netif_remove, NULL) 91 #define netifapi_netif_set_up(n) netifapi_netif_common(n, netif_set_up, NULL) 95 #define netifapi_netif_set_down(n) netifapi_netif_common(n, netif_set_down, NULL) 99 #define netifapi_netif_set_default(n) netifapi_netif_common(n, netif_set_default, NULL) 103 #define netifapi_netif_set_link_up(n) netifapi_netif_common(n, netif_set_link_up, NULL) 107 #define netifapi_netif_set_link_down(n) netifapi_netif_common(n, netif_set_link_down, NULL) 117 #define netifapi_dhcp_start(n) netifapi_netif_common(n, NULL, dhcp_start) 122 #define netifapi_dhcp_stop(n) netifapi_netif_common(n, dhcp_stop, NULL) 126 #define netifapi_dhcp_inform(n) netifapi_netif_common(n, dhcp_inform, NULL) 130 #define netifapi_dhcp_renew(n) netifapi_netif_common(n, NULL, dhcp_rene [all...] |
/seL4-camkes-master/projects/musllibc/src/regex/ |
H A D | tre-mem.c | 51 /* Returns a new memory allocator or NULL if out of memory. */ 63 if (mem == NULL) 64 return NULL; 75 while (l != NULL) 87 allocated block or NULL if an underlying malloc() failed. */ 96 return NULL; 106 if (provided_block == NULL) 109 return NULL; 122 if (l == NULL) 125 return NULL; [all...] |
/seL4-camkes-master/projects/lwip/test/unit/arch/ |
H A D | sys_arch.h | 36 #define sys_sem_valid(sema) ((sema) != NULL) 39 #define sys_mutex_valid(mutex) (((mutex) != NULL) 49 #define SYS_MBOX_NULL NULL 50 #define sys_mbox_valid(mbox) ((mbox != NULL) && ((mbox)->sem != NULL) && ((mbox)->sem != (void*)-1)) 51 #define sys_mbox_valid_val(mbox) (((mbox).sem != NULL) && ((mbox).sem != (void*)-1))
|
/seL4-camkes-master/projects/camkes/apps/teststringarrays/ |
H A D | C.c | 16 assert(s != NULL); 22 assert(x != NULL); 31 assert(x_sz != NULL); 32 assert(x != NULL); 35 assert(*x != NULL); 37 assert((*x)[0] != NULL); 39 assert((*x)[1] != NULL); 48 assert(x_sz != NULL); 49 assert(x != NULL); 59 assert(*x != NULL); [all...] |
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4MultiSharedData-to.template.c | 63 return NULL; 71 return NULL; 116 return NULL;
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | altcp_alloc.c | 67 if (inner_conn == NULL) { 68 return NULL; 71 if (ret == NULL) {
|