| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | timer.h | 25 static inline PURE ticks_t usToTicks(time_t us) in usToTicks()
30 static inline PURE time_t ticksToUs(ticks_t ticks) in ticksToUs()
35 static inline PURE ticks_t getTimerPrecision(void) in getTimerPrecision()
45 static inline PURE time_t getMaxUsToTicks(void) in getMaxUsToTicks()
|
| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | machine_pl2.h | 92 static inline word_t PURE getHCPTR(void) in getHCPTR()
121 static inline paddr_t PURE addressTranslateS1CPR(vptr_t vaddr) in addressTranslateS1CPR()
131 static inline word_t PURE getHSR(void) in getHSR()
138 static inline word_t PURE getHDFAR(void) in getHDFAR()
145 static inline word_t PURE getHIFAR(void) in getHIFAR()
152 static inline word_t PURE getHPFAR(void) in getHPFAR()
|
| A D | machine.h | 85 word_t PURE getRestartPC(tcb_t *thread);
444 static inline word_t PURE getIFSR(void) in getIFSR()
456 static inline word_t PURE getDFSR(void) in getDFSR()
468 static inline word_t PURE getADFSR(void) in getADFSR()
480 static inline word_t PURE getAIFSR(void) in getAIFSR()
492 static inline word_t PURE getDFAR(void) in getDFAR()
504 static inline word_t PURE getIFAR(void) in getIFAR()
540 static inline word_t PURE getFAR(void) in getFAR()
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | timer.h | 22 static inline PURE ticks_t usToTicks(time_t us) in usToTicks()
28 static inline PURE time_t getMaxUsToTicks(void) in getMaxUsToTicks()
33 static inline PURE ticks_t getTimerPrecision(void) in getTimerPrecision()
52 static inline PURE time_t ticksToUs(ticks_t ticks) in ticksToUs()
|
| /seL4-master/include/object/ |
| A D | cnode.h | 30 bool_t PURE isMDBParentOf(cte_t *cte_a, cte_t *cte_b);
33 bool_t PURE isFinalCapability(cte_t *cte);
34 bool_t PURE slotCapLongRunningDelete(cte_t *slot);
36 cap_transfer_t PURE loadCapTransfer(word_t *buffer);
|
| A D | endpoint.h | 12 static inline tcb_queue_t PURE ep_ptr_get_queue(endpoint_t *epptr) in ep_ptr_get_queue()
|
| /seL4-master/include/kernel/ |
| A D | thread.h | 39 static inline bool_t PURE isRunnable(const tcb_t *thread) in isRunnable()
83 static inline bool_t PURE isBlocked(const tcb_t *thread) in isBlocked()
97 static inline bool_t PURE isStopped(const tcb_t *thread) in isStopped()
113 static inline bool_t PURE isRoundRobin(sched_context_t *sc) in isRoundRobin()
152 static inline bool_t PURE isSchedulable(const tcb_t *thread) in isSchedulable()
|
| /seL4-master/libsel4/include/sel4/ |
| A D | macros.h | 15 #ifndef PURE
16 #define PURE __attribute__((__pure__)) macro
|
| /seL4-master/include/ |
| A D | util.h | 75 #define PURE __attribute__((__pure__)) macro
134 int PURE strncmp(const char *s1, const char *s2, int n);
136 long PURE str_to_long(const char *str);
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.h | 75 static inline asid_t PURE cap_frame_cap_ptr_get_capFMappedASID(cap_t *cap) in cap_frame_cap_ptr_get_capFMappedASID()
85 static inline asid_t PURE cap_get_capMappedASID(cap_t cap) in cap_get_capMappedASID()
|
| /seL4-master/include/arch/arm/arch/64/mode/ |
| A D | machine.h | 46 word_t PURE getRestartPC(tcb_t *thread);
328 static inline word_t PURE getESR(void) in getESR()
339 static inline word_t PURE getFAR(void) in getFAR()
|
| /seL4-master/include/machine/ |
| A D | timer.h | 27 static PURE inline ticks_t getKernelWcetTicks(void) in getKernelWcetTicks()
|
| A D | registerset.h | 34 static inline word_t PURE getRegister(tcb_t *thread, register_t reg) in getRegister()
|
| /seL4-master/include/arch/arm/arch/32/mode/kernel/ |
| A D | thread.h | 37 static inline bool_t PURE Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo()
|
| /seL4-master/include/arch/x86/arch/model/ |
| A D | smp.h | 34 static inline PURE word_t getCurrentCPUID(void) in getCurrentCPUID()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | hardware.c | 12 word_t PURE getRestartPC(tcb_t *thread) in getRestartPC()
|
| /seL4-master/include/api/ |
| A D | syscall.h | 38 static inline word_t PURE getSyscallArg(word_t i, word_t *ipc_buffer) in getSyscallArg()
|
| A D | types.h | 55 static inline cap_transfer_t PURE capTransferFromWords(word_t *wptr) in capTransferFromWords()
|
| /seL4-master/src/arch/x86/machine/ |
| A D | breakpoint.c | 112 PURE static inline word_t convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw) in convertTypeAndAccessToArch()
149 PURE static inline convertedTypeAndAccess_t convertArchToTypeAndAccess(word_t dr7, uint16_t bp_num) in convertArchToTypeAndAccess()
196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) in convertSizeToArch()
240 PURE static inline word_t convertArchToSize(word_t dr7, uint16_t bp_num) in convertArchToSize()
|
| A D | hardware.c | 30 word_t PURE getRestartPC(tcb_t *thread) in getRestartPC()
|
| /seL4-master/src/ |
| A D | util.c | 75 int PURE strncmp(const char *s1, const char *s2, int n) in strncmp()
102 long PURE str_to_long(const char *str) in str_to_long()
|
| /seL4-master/include/arch/arm/arch/kernel/ |
| A D | vspace.h | 36 word_t *PURE lookupIPCBuffer(bool_t isReceiver, tcb_t *thread);
|
| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | vspace.h | 43 word_t *PURE lookupIPCBuffer(bool_t isReceiver, tcb_t *thread);
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 22 word_t PURE getRestartPC(tcb_t *thread) in getRestartPC()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 140 word_t PURE getRestartPC(tcb_t *thread);
|