| /seL4-master/libsel4/include/sel4/ |
| A D | syscalls.h | 43 LIBSEL4_INLINE_FUNC void
59 LIBSEL4_INLINE_FUNC void
74 LIBSEL4_INLINE_FUNC void
85 LIBSEL4_INLINE_FUNC void
119 LIBSEL4_INLINE_FUNC void
132 LIBSEL4_INLINE_FUNC void
155 LIBSEL4_INLINE_FUNC void
234 LIBSEL4_INLINE_FUNC void
243 LIBSEL4_INLINE_FUNC void
256 LIBSEL4_INLINE_FUNC void
[all …]
|
| A D | syscalls_mcs.h | 26 LIBSEL4_INLINE_FUNC void
51 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
70 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
85 LIBSEL4_INLINE_FUNC void
113 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
139 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
167 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
192 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
204 LIBSEL4_INLINE_FUNC void
228 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
[all …]
|
| A D | functions.h | 18 LIBSEL4_INLINE_FUNC char *seL4_GetDebugError(void) in seL4_GetDebugError()
23 LIBSEL4_INLINE_FUNC void seL4_SetPrintError(char print_error) in seL4_SetPrintError()
29 LIBSEL4_INLINE_FUNC char seL4_CanPrintError(void) in seL4_CanPrintError()
41 LIBSEL4_INLINE_FUNC seL4_IPCBuffer *seL4_GetIPCBuffer(void) in seL4_GetIPCBuffer()
46 LIBSEL4_INLINE_FUNC seL4_Word seL4_GetMR(int i) in seL4_GetMR()
51 LIBSEL4_INLINE_FUNC void seL4_SetMR(int i, seL4_Word mr) in seL4_SetMR()
56 LIBSEL4_INLINE_FUNC seL4_Word seL4_GetUserData(void) in seL4_GetUserData()
61 LIBSEL4_INLINE_FUNC void seL4_SetUserData(seL4_Word data) in seL4_SetUserData()
66 LIBSEL4_INLINE_FUNC seL4_Word seL4_GetBadge(int i) in seL4_GetBadge()
71 LIBSEL4_INLINE_FUNC seL4_CPtr seL4_GetCap(int i) in seL4_GetCap()
[all …]
|
| A D | syscalls_master.h | 26 LIBSEL4_INLINE_FUNC void
50 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
69 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
83 LIBSEL4_INLINE_FUNC void
97 LIBSEL4_INLINE_FUNC void
122 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
147 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t
158 LIBSEL4_INLINE_FUNC void
175 LIBSEL4_INLINE_FUNC void
197 LIBSEL4_INLINE_FUNC void
[all …]
|
| A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getFault(seL4_MessageInfo_t tag) in seL4_getFault()
38 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isDebugException_tag(seL4_MessageInfo_t tag) in seL4_isDebugException_tag()
44 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVMFault_tag(seL4_MessageInfo_t tag) in seL4_isVMFault_tag()
49 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag) in seL4_isUnknownSyscall_tag()
54 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isUserException_tag(seL4_MessageInfo_t tag) in seL4_isUserException_tag()
59 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isNullFault_tag(seL4_MessageInfo_t tag) in seL4_isNullFault_tag()
64 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isCapFault_tag(seL4_MessageInfo_t tag) in seL4_isCapFault_tag()
70 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isTimeoutFault_tag(seL4_MessageInfo_t tag) in seL4_isTimeoutFault_tag()
75 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext reg… in seL4_TimeoutReply_new()
|
| A D | macros.h | 32 #define LIBSEL4_INLINE_FUNC static inline macro
37 #define LIBSEL4_INLINE_FUNC LIBSEL4_UNUSED LIBSEL4_WEAK macro
42 #define LIBSEL4_INLINE_FUNC static inline macro
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 423 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal()
780 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield()
808 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
818 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString()
827 LIBSEL4_INLINE_FUNC void seL4_DebugDumpScheduler(void) in seL4_DebugDumpScheduler()
839 LIBSEL4_INLINE_FUNC void seL4_DebugHalt(void) in seL4_DebugHalt()
847 LIBSEL4_INLINE_FUNC void seL4_DebugSnapshot(void) in seL4_DebugSnapshot()
914 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) in seL4_BenchmarkResetLog()
950 LIBSEL4_INLINE_FUNC void seL4_BenchmarkNullSyscall(void) in seL4_BenchmarkNullSyscall()
956 LIBSEL4_INLINE_FUNC void seL4_BenchmarkFlushCaches(void) in seL4_BenchmarkFlushCaches()
[all …]
|
| A D | mapping.h | 13 LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel(void) in seL4_MappingFailedLookupLevel()
|
| A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) in seL4_getArchFault()
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 53 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply()
70 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal()
487 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield()
575 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
587 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString()
595 LIBSEL4_INLINE_FUNC void seL4_DebugDumpScheduler(void) in seL4_DebugDumpScheduler()
609 LIBSEL4_INLINE_FUNC void seL4_DebugHalt(void) in seL4_DebugHalt()
614 LIBSEL4_INLINE_FUNC void seL4_DebugSnapshot(void) in seL4_DebugSnapshot()
665 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) in seL4_BenchmarkResetLog()
707 LIBSEL4_INLINE_FUNC void seL4_BenchmarkNullSyscall(void) in seL4_BenchmarkNullSyscall()
[all …]
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 57 LIBSEL4_INLINE_FUNC void seL4_Reply(seL4_MessageInfo_t msgInfo) in seL4_Reply()
74 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal()
549 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield()
579 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
591 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString()
599 LIBSEL4_INLINE_FUNC void seL4_DebugDumpScheduler(void) in seL4_DebugDumpScheduler()
613 LIBSEL4_INLINE_FUNC void seL4_DebugHalt(void) in seL4_DebugHalt()
639 LIBSEL4_INLINE_FUNC void seL4_DebugSnapshot(void) in seL4_DebugSnapshot()
687 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) in seL4_BenchmarkResetLog()
729 LIBSEL4_INLINE_FUNC void seL4_BenchmarkNullSyscall(void) in seL4_BenchmarkNullSyscall()
[all …]
|
| A D | mapping.h | 13 LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel(void) in seL4_MappingFailedLookupLevel()
|
| A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) in seL4_getArchFault()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 251 LIBSEL4_INLINE_FUNC void seL4_Signal(seL4_CPtr dest) in seL4_Signal()
688 LIBSEL4_INLINE_FUNC void seL4_Yield(void) in seL4_Yield()
776 LIBSEL4_INLINE_FUNC void seL4_DebugPutChar(char c) in seL4_DebugPutChar()
789 LIBSEL4_INLINE_FUNC void seL4_DebugPutString(char *str) in seL4_DebugPutString()
797 LIBSEL4_INLINE_FUNC void seL4_DebugDumpScheduler(void) in seL4_DebugDumpScheduler()
812 LIBSEL4_INLINE_FUNC void seL4_DebugHalt(void) in seL4_DebugHalt()
818 LIBSEL4_INLINE_FUNC void seL4_DebugSnapshot(void) in seL4_DebugSnapshot()
866 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkResetLog(void) in seL4_BenchmarkResetLog()
909 LIBSEL4_INLINE_FUNC void seL4_BenchmarkNullSyscall(void) in seL4_BenchmarkNullSyscall()
915 LIBSEL4_INLINE_FUNC void seL4_BenchmarkFlushCaches(void) in seL4_BenchmarkFlushCaches()
[all …]
|
| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | syscalls.h | 15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll()
20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) in seL4_Wait()
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) in seL4_Poll()
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) in seL4_getArchFault()
62 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) in seL4_isVGICMaintenance_tag()
67 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) in seL4_isVCPUFault_tag()
|
| A D | mapping.h | 19 LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel(void) in seL4_MappingFailedLookupLevel()
|
| /seL4-master/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| A D | mapping.h | 15 LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel() in seL4_MappingFailedLookupLevel()
|
| A D | faults.h | 14 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) in seL4_getArchFault()
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | mapping.h | 14 LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel(void) in seL4_MappingFailedLookupLevel()
|
| A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) in seL4_getArchFault()
|
| /seL4-master/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| A D | mapping.h | 15 LIBSEL4_INLINE_FUNC seL4_Word seL4_MappingFailedLookupLevel() in seL4_MappingFailedLookupLevel()
|
| A D | faults.h | 14 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) in seL4_getArchFault()
|