Searched refs:seL4_AlignmentError (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h15 seL4_AlignmentError, enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c32 [seL4_AlignmentError] = "seL4_AlignmentError",
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c625 current_syscall_error.type = seL4_AlignmentError;
849 current_syscall_error.type = seL4_AlignmentError;
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c663 current_syscall_error.type = seL4_AlignmentError;
1028 current_syscall_error.type = seL4_AlignmentError;
H A Dept.c859 current_syscall_error.type = seL4_AlignmentError;
/seL4-camkes-master/kernel/src/object/
H A Dtcb.c671 current_syscall_error.type = seL4_AlignmentError;
2065 case seL4_AlignmentError:
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c718 current_syscall_error.type = seL4_AlignmentError;
2380 seL4_AlignmentError;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c634 current_syscall_error.type = seL4_AlignmentError;
2114 current_syscall_error.type = seL4_AlignmentError;

Completed in 188 milliseconds