Searched refs:seL4_UserException_Msg (Results 1 - 14 of 14) sorted by relevance

/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h107 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg)
108 } seL4_UserException_Msg; typedef in typeref:enum:__anon38
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h107 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg)
108 } seL4_UserException_Msg; typedef in typeref:enum:__anon93
/seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h114 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg)
115 } seL4_UserException_Msg; typedef in typeref:enum:__anon53
/seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h114 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg)
115 } seL4_UserException_Msg; typedef in typeref:enum:__anon108
/seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h49 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg),
50 } seL4_UserException_Msg; typedef in typeref:enum:__anon18
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h49 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg),
50 } seL4_UserException_Msg; typedef in typeref:enum:__anon8
/seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h49 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg),
50 } seL4_UserException_Msg; typedef in typeref:enum:__anon41
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h49 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg),
50 } seL4_UserException_Msg; typedef in typeref:enum:__anon31
/seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h43 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg),
44 } seL4_UserException_Msg; typedef in typeref:enum:__anon2
/seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h43 SEL4_FORCE_LONG_ENUM(seL4_UserException_Msg),
44 } seL4_UserException_Msg; typedef in typeref:enum:__anon11
/seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h82 } seL4_UserException_Msg; typedef in typeref:enum:__anon8
/seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h76 } seL4_UserException_Msg; typedef in typeref:enum:__anon3
/seL4-refos-master/libs/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h82 } seL4_UserException_Msg; typedef in typeref:enum:__anon18
/seL4-refos-master/libs/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h76 } seL4_UserException_Msg; typedef in typeref:enum:__anon13

Completed in 193 milliseconds