/seL4-test-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
|
H A D | vuart.c | 16 .handle_device_fault = NULL, 17 .priv = NULL
|
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/ |
H A D | event_counters.c | 18 return NULL; 24 return NULL;
|
/seL4-test-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-test-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-test-master/projects/util_libs/libplatsupport/src/plat/tx2/ |
H A D | clock.c | 19 clk_t *ps_clocks = NULL;
|
/seL4-test-master/tools/seL4/elfloader-tool/include/ |
H A D | printf.h | 9 #define NULL ((void *)0) macro
|
/seL4-test-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-test-master/projects/util_libs/libplatsupport/plat_include/spike/platsupport/plat/ |
H A D | serial.h | 24 #define DEFAULT_SERIAL_PADDR NULL
|
/seL4-test-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-test-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-test-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-test-master/projects/seL4_libs/libsel4bench/src/arch/x86/ |
H A D | event_counters.c | 22 return NULL;
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/spike/ |
H A D | chardev.c | 20 return NULL;
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/ariane/platsupport/plat/ |
H A D | serial.h | 24 #define DEFAULT_SERIAL_PADDR NULL
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/ariane/ |
H A D | chardev.c | 20 return NULL;
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/rocketchip/platsupport/plat/ |
H A D | serial.h | 24 #define DEFAULT_SERIAL_PADDR NULL
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/rocketchip/ |
H A D | chardev.c | 20 return NULL;
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/scripts/ |
H A D | generate-kernel-symbols.sh | 42 { .symbol = NULL, .addr = (void*)NULL }, /* Terminate array. */ 46 for (int i = 0; kernel_symbols[i].symbol != NULL ; ++i) { 51 return NULL;
|
/seL4-test-master/projects/musllibc/include/ |
H A D | stddef.h | 5 #define NULL 0L macro 7 #define NULL ((void*)0) macro
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | devcfg.c | 19 static devcfg_regs_t* devcfg_regs = NULL; 22 if (devcfg_regs == NULL) {
|
/seL4-test-master/kernel/include/plat/spike/plat/instance/rocket-chip/ |
H A D | hardware.h | 37 static const paddr_t BOOT_RODATA *kernel_devices = NULL; 39 static const p_region_t BOOT_RODATA *dev_p_regs = NULL;
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | io.c | 18 assert(ptr != NULL); 20 if (*ptr == NULL) { 28 assert(ptr != NULL); 30 if (*ptr == NULL) { 47 ops->cookie = NULL;
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | chardev.c | 43 return (dev_defn[i].init_fn(dev_defn + i, o, d)) ? NULL : d; 46 return NULL; 53 if (params == NULL) { 54 return NULL; 59 return uart_static_init(vaddr, o, d) ? NULL : d;
|