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

1234567891011>>

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/
H A Dmisc_devices.c14 .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 Dvclock.c15 .handle_device_fault = NULL,
16 .priv = NULL
H A Dvuart.c16 .handle_device_fault = NULL,
17 .priv = NULL
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/
H A Devent_counters.c18 return NULL;
24 return NULL;
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dmisc_devices.c14 .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 Dsem-bare.h37 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 Dclock.c19 clk_t *ps_clocks = NULL;
/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Dprintf.h9 #define NULL ((void *)0) macro
/seL4-test-master/projects/util_libs/libutils/src/
H A Dlist.c22 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 Dserial.h24 #define DEFAULT_SERIAL_PADDR NULL
/seL4-test-master/tools/seL4/elfloader-tool/src/drivers/uart/
H A Dcommon.c11 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 Didentity.c23 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 Dtre-mem.c51 /* 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 Devent_counters.c22 return NULL;
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/spike/
H A Dchardev.c20 return NULL;
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/ariane/platsupport/plat/
H A Dserial.h24 #define DEFAULT_SERIAL_PADDR NULL
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/ariane/
H A Dchardev.c20 return NULL;
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/rocketchip/platsupport/plat/
H A Dserial.h24 #define DEFAULT_SERIAL_PADDR NULL
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/rocketchip/
H A Dchardev.c20 return NULL;
/seL4-test-master/projects/sel4test/apps/sel4test-tests/scripts/
H A Dgenerate-kernel-symbols.sh42 { .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 Dstddef.h5 #define NULL 0L macro
7 #define NULL ((void*)0) macro
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Ddevcfg.c19 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 Dhardware.h37 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 Dio.c18 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 Dchardev.c43 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;

Completed in 148 milliseconds

1234567891011>>