Searched refs:seL4_Error (Results 26 - 36 of 36) sorted by relevance
12
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 225 seL4_Error serial_server_func_connect(seL4_MessageInfo_t tag, 229 seL4_Error error; 450 UNUSED seL4_Error error;
|
H A D | clientapi.c | 44 seL4_Error error;
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/ |
H A D | libsel4simple-default.c | 44 seL4_Error simple_default_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) 65 seL4_Error simple_default_set_ASID(void *data, seL4_CPtr vspace)
|
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 665 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) 676 return (seL4_Error) ret; 693 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) 704 return (seL4_Error) frame_cptr;
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 914 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) 924 return (seL4_Error)ret; 938 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) 946 return (seL4_Error) frame_cptr;
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 687 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) 699 return (seL4_Error)ret; 715 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) 726 return (seL4_Error) frame_cptr;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | vm.c | 99 seL4_Error ack_err = seL4_ARM_VCPU_AckVPPI(vcpu->vcpu.cptr, ppi_irq);
|
H A D | fault.c | 270 seL4_Error err;
|
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 866 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) 877 return (seL4_Error) ret; 895 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) 906 return (seL4_Error) frame_cptr;
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 202 static inline void print_error_in_ipc(seL4_Error e)
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 633 seL4_Error err = seL4_NoError; 731 seL4_Error err = create_object(spec, obj, obj_id, bootinfo, untyped_cptr, free_slot); 754 seL4_Error err = seL4_ARCH_ASIDControl_MakePool(seL4_CapASIDControl, asidpool_ut, 809 seL4_Error err = create_object(spec, obj, obj_id, bootinfo, untyped_cptr, free_slot); 843 seL4_Error err = seL4_ARCH_ASIDControl_MakePool(seL4_CapASIDControl, asid_ut,
|
Completed in 194 milliseconds
12