Home
last modified time | relevance | path

Searched defs:base (Results 1 – 18 of 18) sorted by relevance

/seL4-master/include/object/
A Duntyped.h25 #define GET_FREE_REF(base,freeIndex) ((word_t)(((word_t)(base)) + FREE_INDEX_TO_OFFSET(freeIndex))) argument
26 #define GET_FREE_INDEX(base,free) (((word_t)(free) - (word_t)(base))>>seL4_MinUntypedBits) argument
27 #define GET_OFFSET_FREE_PTR(base, offset) ((void *)(((word_t)(base)) + (offset))) argument
/seL4-master/include/arch/x86/arch/32/mode/
A Dmachine.h122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) in x86_write_fs_base_impl()
136 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base) in x86_write_gs_base_impl()
152 word_t base = 0; in x86_read_fs_base_impl() local
161 word_t base = 0; in x86_read_gs_base_impl() local
170 static inline void x86_write_gs_base_impl(word_t base) in x86_write_gs_base_impl()
/seL4-master/include/
A Dcompound_types.h15 pde_t *base; member
21 pte_t *base; member
/seL4-master/include/arch/x86/arch/64/mode/
A Dmachine.h248 static inline void x86_write_fs_base_impl(word_t base) in x86_write_fs_base_impl()
255 word_t base = 0; in x86_read_fs_base_impl() local
294 static inline void x86_write_gs_base_impl(word_t base) in x86_write_gs_base_impl()
306 static inline void x86_write_gs_base_impl(word_t base) in x86_write_gs_base_impl()
313 word_t base = 0; in x86_read_gs_base_impl() local
320 static inline void x86_write_gs_base_impl(word_t base) in x86_write_gs_base_impl()
/seL4-master/src/drivers/smmu/
A Dsmmuv2.c57 static inline uint32_t smmu_read_reg32(pptr_t base, uint32_t index) in smmu_read_reg32()
62 static inline void smmu_write_reg32(pptr_t base, uint32_t index, uint32_t val) in smmu_write_reg32()
67 static inline uint64_t smmu_read_reg64(pptr_t base, uint32_t index) in smmu_read_reg64()
72 static inline void smmu_write_reg64(pptr_t base, uint32_t index, uint64_t val) in smmu_write_reg64()
77 static void smmu_tlb_sync(pptr_t base, uint32_t sync, uint32_t status) in smmu_tlb_sync()
/seL4-master/include/arch/x86/arch/
A Dmachine.h249 static inline void x86_write_fs_base_impl(word_t base) in x86_write_fs_base_impl()
272 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) in x86_write_fs_base()
277 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) in x86_write_gs_base()
297 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu) in x86_write_fs_base()
305 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu) in x86_write_gs_base()
/seL4-master/src/drivers/timer/
A Dam335x-timer.c31 #define WDT_REG(base, off) ((volatile uint32_t *)((base) + (off))) argument
/seL4-master/libsel4/tools/
A Dbitfield_gen.py45 def return_name(base): argument
50 def var_name(name, base): argument
1234 def field_mask_proof(base, base_bits, sign_extend, high, size): argument
1319 def set_base(self, base, base_bits, base_sign_extend, suffix): argument
2211 def set_base(self, base, base_bits, base_sign_extend, suffix): argument
2732 base, base_bits, base_sign_extend = base_info variable
2746 base, base_bits, base_sign_extend = base_info variable
/seL4-master/tools/
A Dbitfield_gen.py45 def return_name(base): argument
50 def var_name(name, base): argument
1234 def field_mask_proof(base, base_bits, sign_extend, high, size): argument
1319 def set_base(self, base, base_bits, base_sign_extend, suffix): argument
2211 def set_base(self, base, base_bits, base_sign_extend, suffix): argument
2732 base, base_bits, base_sign_extend = base_info variable
2746 base, base_bits, base_sign_extend = base_info variable
/seL4-master/include/plat/pc99/plat/machine/
A Dacpi.h67 uint32_t base; member
/seL4-master/src/
A Dutil.c104 unsigned int base; in str_to_long() local
/seL4-master/include/drivers/irq/
A Dam335x.h18 #define CMPER_REG(base, off) ((volatile uint32_t *)((base) + (off))) argument
/seL4-master/src/arch/x86/kernel/
A Dvspace.c863 static create_mapping_pte_return_t createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_righ… in createSafeMappingEntries_PTE()
892 static create_mapping_pde_return_t createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_righ… in createSafeMappingEntries_PDE()
/seL4-master/include/arch/x86/arch/object/
A Dstructures.h130 word_t base; member
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c1117 static exception_t updatePTE(pte_t pte, pte_t *base) in updatePTE()
1125 pte_t pte, pte_t *base) in performPageInvocationMapPTE()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c310 word_t base = (word_t)&x64KSIRQStack[CURRENT_CPU_INDEX()][IRQ_STACK_SIZE]; in init_tss() local
1476 static create_mapping_pdpte_return_t createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_… in createSafeMappingEntries_PDPTE()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c1563 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1663 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c1665 paddr_t base = pptr_to_paddr((void *)base_ptr); in performPageGetAddress() local
2069 paddr_t base; in decodeARMFrameInvocation() local

Completed in 50 milliseconds