Searched refs:CONST (Results 1 - 25 of 69) sorted by relevance

123

/seL4-test-master/kernel/include/arch/x86/arch/32/mode/kernel/
H A Dvspace.h29 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 Dstructures.h13 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap)
H A Dobjecttype.h16 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 Dmachine.h17 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 Dtimer.h20 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 Dtimer.h15 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 Dutil.h13 static inline CONST uint64_t div64(uint64_t numerator, uint32_t denominator)
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread)
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dthread.h9 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 Dtimer.h30 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 Dobjecttype.h16 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 Dtcb.c15 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 Dtcb.c15 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 Dsmp.h24 static inline CONST cpu_id_t
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/kernel/
H A Dvspace.h51 static inline CONST pml4e_t x86_make_empty_root_mapping(void)
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread)
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h54 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 Dtimer.h17 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 Dobjecttype.h16 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 Dtimer.h19 static inline CONST time_t getKernelWcetUs(void)
40 static inline CONST ticks_t getMaxTicksToUs(void)
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dmacros.h19 #ifndef CONST
20 #define CONST __attribute__((__const__)) macro
/seL4-test-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h124 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 Dsmp.h26 static inline CONST cpu_id_t getCurrentCPUIndex(void)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dsmp.h22 static inline CONST cpu_id_t getCurrentCPUIndex(void)
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h110 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...]

Completed in 238 milliseconds

123