/seL4-test-master/kernel/include/arch/x86/arch/32/mode/kernel/ |
H A D | vspace.h | 29 static inline CONST pte_t x86_make_empty_pte(void) 34 static inline CONST pde_t x86_make_empty_root_mapping(void)
|
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | structures.h | 13 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap)
|
H A D | objecttype.h | 16 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap); 17 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap); 19 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b); 20 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b); 21 bool_t CONST Arch_isFrameType(word_t type);
|
/seL4-test-master/kernel/include/ |
H A D | machine.h | 17 static inline void *CONST ptrFromPAddr(paddr_t paddr) 24 static inline paddr_t CONST addrFromPPtr(void *pptr) 29 static inline region_t CONST paddr_to_pptr_reg(p_region_t p_reg) 36 static inline p_region_t CONST pptr_to_paddr_reg(region_t reg)
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
H A D | timer.h | 20 static inline CONST ticks_t getMaxTicksToUs(void) 29 static inline CONST time_t ticksToUs(ticks_t ticks)
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/ |
H A D | timer.h | 15 static inline CONST ticks_t getMaxTicksToUs(void) 24 static inline CONST time_t ticksToUs(ticks_t ticks)
|
/seL4-test-master/kernel/include/64/mode/ |
H A D | util.h | 13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator)
|
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread)
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | thread.h | 9 static inline word_t CONST sanitiseRegister(register_t reg, word_t v, bool_t archInfo) 28 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread)
|
/seL4-test-master/kernel/include/arch/arm/arch/machine/ |
H A D | timer.h | 30 static inline CONST time_t getMaxUsToTicks(void) 39 static inline CONST ticks_t usToTicks(time_t us) 51 static inline CONST ticks_t getTimerPrecision(void)
|
/seL4-test-master/kernel/include/arch/x86/arch/object/ |
H A D | objecttype.h | 16 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap); 17 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap); 19 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b); 20 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b); 21 bool_t CONST Arch_isFrameType(word_t type); 32 bool_t CONST Mode_sameRegionAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | tcb.c | 15 word_t CONST Arch_decodeTransfer(word_t flags) 20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest)
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | tcb.c | 15 word_t CONST Arch_decodeTransfer(word_t flags) 20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest)
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/smp/ |
H A D | smp.h | 24 static inline CONST cpu_id_t
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | vspace.h | 51 static inline CONST pml4e_t x86_make_empty_root_mapping(void)
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread)
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | hardware.h | 54 static inline word_t CONST pageBitsForSize(vm_page_size_t pagesize) 76 static inline word_t CONST pageBitsForSize_phys(vm_page_size_t pagesize) 94 uint32_t CONST getCacheLineSize(void); 95 uint32_t CONST getCacheLineSizeBits(void);
|
H A D | timer.h | 17 static inline CONST time_t getKernelWcetUs(void) 47 static inline CONST ticks_t getMaxTicksToUs(void)
|
/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 16 cap_t CONST Arch_updateCapData(bool_t preserve, word_t data, cap_t cap); 17 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap); 19 bool_t CONST Arch_sameRegionAs(cap_t cap_a, cap_t cap_b); 20 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
H A D | timer.h | 19 static inline CONST time_t getKernelWcetUs(void) 40 static inline CONST ticks_t getMaxTicksToUs(void)
|
/seL4-test-master/kernel/libsel4/include/sel4/ |
H A D | macros.h | 19 #ifndef CONST 20 #define CONST __attribute__((__const__)) macro
|
/seL4-test-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/ |
H A D | hardware.h | 124 static inline void *CONST 131 static inline paddr_t CONST kpptr_to_paddr(void *pptr)
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/smp/ |
H A D | smp.h | 26 static inline CONST cpu_id_t getCurrentCPUIndex(void)
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/ |
H A D | smp.h | 22 static inline CONST cpu_id_t getCurrentCPUIndex(void)
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/ |
H A D | structures.h | 110 static inline cap_t CONST cap_small_frame_cap_set_capFMappedASID(cap_t cap, word_t asid) 118 static inline word_t CONST cap_small_frame_cap_get_capFMappedASID(cap_t cap) 124 static inline cap_t CONST cap_frame_cap_set_capFMappedASID(cap_t cap, word_t asid) 132 static inline word_t CONST cap_frame_cap_get_capFMappedASID(cap_t cap) 138 static inline word_t CONST generic_frame_cap_get_capFMappedASID(cap_t cap) 154 static inline cap_t CONST generic_frame_cap_set_capFMappedAddress(cap_t cap, word_t asid, word_t addr) 179 static inline vm_rights_t CONST generic_frame_cap_get_capFVMRights(cap_t cap) 199 static inline word_t CONST generic_frame_cap_get_capFBasePtr(cap_t cap) 219 static inline word_t CONST generic_frame_cap_get_capFSize(cap_t cap) 239 static inline word_t CONST generic_frame_cap_get_capFIsMappe [all...] |