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

12

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h27 } seL4_Error; typedef in typeref:enum:__anon38
H A Dsyscalls.h192 * @return A `seL4_Error` error if the user-level log buffer has not been set by the user
195 LIBSEL4_INLINE_FUNC seL4_Error
224 LIBSEL4_INLINE_FUNC seL4_Error
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h35 typedef seL4_Error(*simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode,
37 typedef seL4_Error(*simple_get_IRQ_trigger_fn)(void *data, int irq, int trigger, int core, seL4_CNode root,
40 typedef seL4_Error(*simple_get_iospace_cap_count_fn)(void *data, int *count);
53 static inline seL4_Error arch_simple_get_IOPort_cap(UNUSED arch_simple_t *simple, UNUSED uint16_t start_port,
61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger,
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core,
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dtls.h40 seL4_Error reply_cap_save_error;
93 seL4_Error camkes_unprotect_reply_cap(void);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Ddevice.h31 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr,
56 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq,
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dmapping.h20 typedef seL4_Error(*vspace_map_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr,
22 typedef seL4_Error(*vspace_map_page_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr,
25 static inline seL4_Error vspace_iospace_map_page(seL4_CPtr cap, seL4_CPtr root, seL4_Word vaddr,
62 static inline seL4_Error vspace_map_obj(vspace_map_obj_t *obj, seL4_CPtr cap,
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmcs_api.h102 static inline seL4_Error api_tcb_configure(seL4_CPtr tcb, seL4_CPtr ep, UNUSED seL4_CPtr timeout_ep,
108 seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata);
125 static inline seL4_Error api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio,
136 static inline seL4_Error api_tcb_set_space(seL4_CPtr tcb, seL4_CPtr ep,
143 static inline seL4_Error api_sc_bind(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb)
146 return (seL4_Error) - ENOSYS;
153 static inline seL4_Error api_sc_unbind_object(UNUSED seL4_CPtr sc, UNUSED seL4_CPtr tcb)
156 return (seL4_Error) - ENOSYS;
163 static inline seL4_Error api_sc_unbind(UNUSED seL4_CPtr sc)
166 return (seL4_Error)
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dparent.h45 * @return seL4_Error value.
47 seL4_Error serial_server_parent_spawn_thread(simple_t *parent_simple,
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h41 typedef seL4_Error (*arch_simple_get_IOPort_cap_fn)(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth);
52 typedef seL4_Error (*arch_simple_get_msi_fn)(void *data, seL4_CNode root, seL4_Word index,
57 typedef seL4_Error (*arch_simple_get_ioapic_fn)(void *data, seL4_CNode root, seL4_Word index,
71 typedef seL4_Error (*arch_simple_get_IRQ_handler_fn)(void *data, int irq, seL4_CNode cnode, seL4_Word index,
84 typedef seL4_Error (*arch_simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID,
100 static inline seL4_Error
116 static inline seL4_Error
134 static inline seL4_Error
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/
H A Ddefault.c25 seL4_Error
34 seL4_Error
66 seL4_Error
75 seL4_Error
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c25 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth)
30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root,
41 seL4_Error simple_default_get_iospace_cap_count(void *data, int *count)
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/
H A Ddefault.c24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) {
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/arm/
H A Dmapping.c16 static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr)
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Ddevice.c21 seL4_Error sel4platsupport_copy_irq_cap(vka_t *vka, simple_t *simple, ps_irq_t *irq, cspacepath_t *dest)
47 seL4_Error sel4platsupport_alloc_frame_at(vka_t *vka, uintptr_t paddr, size_t size_bits, vka_object_t *frame)
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Darch.c23 static seL4_Error
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c229 static seL4_Error simple_camkes_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) {
313 static seL4_Error simple_camkes_get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) {
335 static seL4_Error simple_camkes_get_iospace(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path) {
356 static seL4_Error simple_camkes_get_iospace_cap_count(void *data, int *count) {
383 static seL4_Error simple_camkes_set_ASID(void *data, seL4_CPtr vspace) {
395 static seL4_Error simple_camkes_get_irq(void *data, int irq, seL4_CNode cnode, seL4_Word index, uint8_t depth) {
/seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h40 typedef seL4_Error(*simple_get_frame_cap_fn)(void *data, void *paddr, int size_bits, cspacepath_t *path);
83 typedef seL4_Error(*simple_ASIDPool_assign_fn)(void *data, seL4_CPtr vspace);
185 typedef seL4_Error(*simple_get_iospace_fn)(void *data, uint16_t domainID, uint16_t deviceID, cspacepath_t *path);
264 static inline seL4_Error simple_get_frame_cap(simple_t *simple, void *paddr, int size_bits, cspacepath_t *path)
291 static inline seL4_Error SEL4_DEPRECATED("Use simple_get_IRQ_handler")
305 static inline seL4_Error simple_get_IRQ_handler(simple_t *simple, int irq, cspacepath_t path)
318 static inline seL4_Error simple_ASIDPool_assign(simple_t *simple, seL4_CPtr vspace)
333 seL4_Error simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root,
522 static inline seL4_Error simple_get_iospace_cap_count(simple_t *simple, int *count)
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/
H A Dmapping.c17 static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr)
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dtls.c73 seL4_Error camkes_unprotect_reply_cap(void)
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/
H A Dkernel_logging.h96 static inline seL4_Error kernel_logging_set_log_buffer(seL4_CPtr logBuffer_cap)
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dparentapi.c27 seL4_Error
33 seL4_Error error;
/seL4-camkes-master/projects/seL4_libs/libsel4simple/src/
H A Dsimple.c38 seL4_Error error = seL4_CNode_Copy(cnode, simple_get_cap_count(simple) + i, seL4_WordBits, cnode, cnode, seL4_WordBits, seL4_AllRights);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_vcpu_util.c28 seL4_Error err = seL4_ARM_VCPU_AckVPPI(vcpu->vcpu.cptr, (seL4_Word)irq);
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dslab.c135 static seL4_Error alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type,
141 seL4_Error error = vka_cspace_alloc(delegate, &object->cptr);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/
H A Dserver.c69 seL4_Error err = simple_get_IOPort_cap(env->simple, rpcMsg->msg.ioport.start, rpcMsg->msg.ioport.end,
96 seL4_Error err = seL4_InvalidArgument;

Completed in 306 milliseconds

12