Searched refs:seL4_Error (Results 26 - 36 of 36) sorted by relevance

12

/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c225 seL4_Error serial_server_func_connect(seL4_MessageInfo_t tag,
229 seL4_Error error;
450 UNUSED seL4_Error error;
H A Dclientapi.c44 seL4_Error error;
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c44 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 Dsyscalls.h665 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 Dsyscalls.h914 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 Dsyscalls.h687 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 Dvm.c99 seL4_Error ack_err = seL4_ARM_VCPU_AckVPPI(vcpu->vcpu.cptr, ppi_irq);
H A Dfault.c270 seL4_Error err;
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h866 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 Dtest.h202 static inline void print_error_in_ipc(seL4_Error e)
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c633 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