Home
last modified time | relevance | path

Searched refs:SEL4_DEPRECATED (Results 1 – 5 of 5) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Ddeprecated.h41 } seL4_PageFaultIpcRegisters SEL4_DEPRECATED("use seL4_Fault_VMFault_new()"); typedef
51 static inline SEL4_DEPRECATED("removed") seL4_MessageInfo_t
57 static inline SEL4_DEPRECATED("removed") void
63 static inline SEL4_DEPRECATED("use seL4_GetMR(seL4_VMFault_IP)") seL4_Word
75 static inline SEL4_DEPRECATED("use seL4_isVMFault_tag") seL4_Word
81 static inline SEL4_DEPRECATED("use seL4_isVMFault_tag") seL4_Word
87 static inline SEL4_DEPRECATED("use seL4_isUnknownSyscall_tag") seL4_Word
93 static inline SEL4_DEPRECATED("use seL4_GetMR") seL4_Word
99 static inline SEL4_DEPRECATED("use seL4_SetMR") void
105 static inline SEL4_DEPRECATED("") seL4_Word
[all …]
A Dbootinfo.h14 SEL4_DEPRECATED("libsel4 management of bootinfo is deprecated, see the BootInfo Frame section of th…
16 SEL4_DEPRECATED("libsel4 management of bootinfo is deprecated, see the BootInfo Frame section of th…
A Dmacros.h20 #define SEL4_DEPRECATED(x) __attribute__((deprecated(x))) macro
/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A Ddeprecated.h14 typedef seL4_Word seL4_UserExceptIPCRegister SEL4_DEPRECATED("use seL4_UserException_Msg"); typedef
23 typedef seL4_Word seL4_ExceptIPCRegister SEL4_DEPRECATED("use seL4_UnknownSyscall_Msg"); typedef
47 } seL4_UserExceptionIpcRegisters SEL4_DEPRECATED("Use seL4_Fault_t"); typedef
64 } seL4_ExceptionIpcRegisters SEL4_DEPRECATED("Use seL4_Fault_t"); typedef
67 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isWriteFault(seL4_Word FaultStatusRegister) in seL4_Fault_isWriteFault()
72 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isReadFault(seL4_Word FaultStatusRegister) in seL4_Fault_isReadFault()
77 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isProtectionFault(seL4_Word FaultStatusRegis… in seL4_Fault_isProtectionFault()
82 static inline SEL4_DEPRECATED("") seL4_Bool seL4_Fault_isNonPresentFault(seL4_Word FaultStatusRegis… in seL4_Fault_isNonPresentFault()
/seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
A Ddeprecated.h12 typedef seL4_Word seL4_ExceptIPCRegister SEL4_DEPRECATED("use seL4_UnknownSyscall_Msg"); typedef

Completed in 7 milliseconds