/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/exynos5/ |
H A D | plat.c | 22 int error; local
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/plat/imx6/ |
H A D | plat.c | 20 int error; local
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | threads.c | 25 int error; local 44 int error; local
|
H A D | trivial.c | 30 int error; local
|
H A D | inc_untyped.c | 20 int error; local 122 int error; local 163 int error; local [all...] |
H A D | cspace.c | 62 int error; local
|
/seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
H A D | register_dump.c | 28 int error; local
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | cspaceops.h | 23 int error; local
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | null.h | 24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | malloc.c | 18 void *_mspace_malloc_alloc(allocman_t *alloc, void *unused, size_t bytes, int *error) argument
|
H A D | dual_pool.c | 33 void *_mspace_dual_pool_alloc(allocman_t *alloc, void *_dual_pool, size_t bytes, int *error) argument
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | err.h | 21 static inline void *ERR_PTR(long error) argument
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | pmem.c | 21 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t)); local 32 int error = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_MBMMAP, &data, sizeof(seL4_X86_BootInfo_mmap_t)); local
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | err.h | 23 static inline void *ERR_PTR(long error) argument
|
/seL4-test-master/projects/seL4_libs/libsel4sync/src/ |
H A D | recursive_mutex.c | 93 int error = vka_alloc_notification(vka, &(mutex->notification)); local
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/arch/arm/ |
H A D | arch.c | 31 seL4_Error UNUSED error = simple_get_iospace_cap_count(&env->simple, &num_iospace_caps); local
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | single_level.c | 25 int error; local
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | device.c | 26 int error = vka_cspace_alloc(vka, &cap); local 50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame); local 60 int error; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple/src/ |
H A D | simple.c | 38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights); local
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 51 int error = ps_calloc(&ops.malloc_ops, 1, sizeof(client_ltimer_t), <imer->data); local
|
/seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | object_capops.h | 30 int error = vka_cspace_alloc_path(dest_vka, result); local
|
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
H A D | timer.c | 46 int error = tm_alloc_id_at(&env->tm, TIMER_ID); local 73 int error = 0; local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 73 int error = callback(irq, i, total_cells, token); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 33 int error = callback(irq, 0, FSL_AVIC_INT_CELL_COUNT, token); local
|
H A D | omap3.c | 38 int error = callback(irq, 0, TI_OMAP3_INT_CELL_COUNT, token); local
|