/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | errors.h | 27 } seL4_Error; typedef in typeref:enum:__anon38
|
H A D | syscalls.h | 192 * @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 D | simple.h | 35 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 D | tls.h | 40 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 D | device.h | 31 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 D | mapping.h | 20 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 D | mcs_api.h | 102 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 D | parent.h | 45 * @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 D | simple.h | 41 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 D | default.c | 25 seL4_Error 34 seL4_Error 66 seL4_Error 75 seL4_Error
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 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 D | default.c | 24 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 D | mapping.c | 16 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 D | device.c | 21 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 D | arch.c | 23 static seL4_Error
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.simple.c | 229 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 D | simple.h | 40 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 D | mapping.c | 17 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 D | tls.c | 73 seL4_Error camkes_unprotect_reply_cap(void)
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
H A D | kernel_logging.h | 96 static inline seL4_Error kernel_logging_set_log_buffer(seL4_CPtr logBuffer_cap)
|
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | parentapi.c | 27 seL4_Error 33 seL4_Error error;
|
/seL4-camkes-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);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_vcpu_util.c | 28 seL4_Error err = seL4_ARM_VCPU_AckVPPI(vcpu->vcpu.cptr, (seL4_Word)irq);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | slab.c | 135 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 D | server.c | 69 seL4_Error err = simple_get_IOPort_cap(env->simple, rpcMsg->msg.ioport.start, rpcMsg->msg.ioport.end, 96 seL4_Error err = seL4_InvalidArgument;
|