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

/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Derrors.h15 seL4_AlignmentError, enumerator in enum:__anon179
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventFrom.c525 seL4_AlignmentError enumerator in enum:__anon54
H A DEventTo.c425 seL4_AlignmentError enumerator in enum:__anon66
H A DRPCTo.c525 seL4_AlignmentError enumerator in enum:__anon96
H A DRPCFrom.c526 seL4_AlignmentError enumerator in enum:__anon81
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dvspace.c625 current_syscall_error.type = seL4_AlignmentError;
849 current_syscall_error.type = seL4_AlignmentError;
/seL4-l4v-master/seL4/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-l4v-master/seL4/src/object/
H A Dtcb.c671 current_syscall_error.type = seL4_AlignmentError;
2065 case seL4_AlignmentError:
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c718 current_syscall_error.type = seL4_AlignmentError;
2380 seL4_AlignmentError;
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c634 current_syscall_error.type = seL4_AlignmentError;
2114 current_syscall_error.type = seL4_AlignmentError;
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c122 seL4_AlignmentError, enumerator in enum:__anon120

Completed in 99 milliseconds