Searched refs:base (Results 101 - 125 of 176) sorted by relevance

12345678

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dgetline.c210 * Return TRUE if we've extended the string at base. Otherwise return FALSE.
213 * + we don't change the characters that are already in base
214 * + base has enough room to hold our string
217 ext_cmd_getlin_hook(base)
218 char *base;
224 if (!strncmpi(base, extcmdlist[oindex].ef_txt, strlen(base))) {
232 Strcpy(base, extcmdlist[com_index].ef_txt);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dgetline.c210 * Return TRUE if we've extended the string at base. Otherwise return FALSE.
213 * + we don't change the characters that are already in base
214 * + base has enough room to hold our string
217 ext_cmd_getlin_hook(base)
218 char *base;
224 if (!strncmpi(base, extcmdlist[oindex].ef_txt, strlen(base))) {
232 Strcpy(base, extcmdlist[com_index].ef_txt);
/seL4-refos-master/projects/util_libs/libfdt/
H A Dfdt.c88 uint32_t base, uint32_t size)
90 if (!check_off_(hdrsize, totalsize, base))
92 if ((base + size) < base)
94 if (!check_off_(hdrsize, totalsize, base + size))
87 check_block_(uint32_t hdrsize, uint32_t totalsize, uint32_t base, uint32_t size) argument
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c117 exynos_irq_combiner_init(void* base, irq_combiner_t* combiner) argument
119 if (base) {
120 _combiner_regs = (volatile struct irq_combiner_map *)base;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c117 exynos_irq_combiner_init(void* base, irq_combiner_t* combiner) argument
119 if (base) {
120 _combiner_regs = (volatile struct irq_combiner_map *)base;
/seL4-refos-master/kernel/tools/hardware/utils/
H A Drule.py51 self.base = aligned.base
53 self.labels[kernel_name] = region.base - aligned.base
62 raise ValueError('need to have equal size and base to take labels')
76 ''' Set the base offset that this region is mapped at in the kernel.
77 Returns the next free address in the kernel (i.e. base offset + region size) '''
101 return other.base == self.base and other.size == self.size
/seL4-refos-master/kernel/src/drivers/timer/
H A Dam335x-timer.c31 #define WDT_REG(base, off) ((volatile uint32_t *)((base) + (off)))
/seL4-refos-master/kernel/src/drivers/smmu/
H A Dsmmuv2.c44 pptr_t cb_base; /*base of context bank address space*/
57 static inline uint32_t smmu_read_reg32(pptr_t base, uint32_t index) argument
59 return *(volatile uint32_t *)(base + index);
62 static inline void smmu_write_reg32(pptr_t base, uint32_t index, uint32_t val) argument
64 *(volatile uint32_t *)(base + index) = val;
67 static inline uint64_t smmu_read_reg64(pptr_t base, uint32_t index) argument
69 return *(volatile uint64_t *)(base + index);
72 static inline void smmu_write_reg64(pptr_t base, uint32_t index, uint64_t val) argument
74 *(volatile uint64_t *)(base + index) = val;
77 static void smmu_tlb_sync(pptr_t base, uint32_ argument
[all...]
/seL4-refos-master/libs/libmuslc/ldso/
H A Ddynlink.c34 void *base; member in struct:debug
46 unsigned char *base;
81 unsigned char *base; member in struct:dso
156 if (!p->loadmap) return p->base + v;
163 #define laddr(p, v) (void *)((p)->base + (v))
303 unsigned char *base = dso->base; local
380 *reloc_addr = (size_t)base + addend;
384 else *reloc_addr = (size_t)base + addend;
549 unsigned char *map=MAP_FAILED, *base; local
1126 unsigned char *base = p->base; local
1329 __dls2(unsigned char *base, size_t *sp) argument
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dunimplemented.h34 unsigned long simple_strtoul(const char *cp, char **endp, unsigned int base);
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h67 uint32_t base; member in struct:acpi_rmrr_entry
/seL4-refos-master/libs/libmuslc/src/malloc/
H A Dmalloc.c155 fprintf(stderr, "base %p size %zu (%d) flags %d/%d\n",
339 char *base = __mmap(0, len, PROT_READ|PROT_WRITE, local
341 if (base == (void *)-1) return 0;
342 c = (void *)(base + SIZE_ALIGN - OVERHEAD);
405 char *base = (char *)self - extra; local
417 base = __mremap(base, oldlen, newlen, MREMAP_MAYMOVE);
418 if (base == (void *)-1)
420 self = (void *)(base + extra);
472 char *base local
[all...]
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c789 to get the super section frame base */
807 to get the large frame base */
1331 /* Haskell error: "ASID pool's base must be aligned" */
1612 (paddr_t base, word_t vaddr, vm_page_size_t frameSize,
1624 ret.pte_entries.base = NULL; /* to avoid uninitialised warning */
1627 ret.pte = makeUserPTE(ARMSmallPage, base,
1644 ret.pte_entries.base = lu_ret.ptSlot;
1646 if (unlikely(pte_ptr_get_pteType(ret.pte_entries.base) ==
1649 if (unlikely(pte_ptr_get_pteType(ret.pte_entries.base) == pte_pte_small
1650 && pte_pte_small_ptr_get_contiguous_hint(ret.pte_entries.base))) {
1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument
1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument
[all...]
/seL4-refos-master/libs/libsel4muslcsys/src/
H A Dsys_morecore.c199 uintptr_t base = morecore_top - length; local
200 if (base < morecore_base) {
203 morecore_top = base;
204 return base;
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_morecore.c199 uintptr_t base = morecore_top - length; local
200 if (base < morecore_base) {
203 morecore_top = base;
204 return base;
/seL4-refos-master/libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dirq_combiner.h104 * @param[in] base The memory address of the combiner registers
108 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dirq_combiner.h104 * @param[in] base The memory address of the combiner registers
108 int exynos_irq_combiner_init(void* base, irq_combiner_t* combiner);
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h51 void deleteASIDPool(asid_t base, asid_pool_t *pool);
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Ddungeon.c286 * a negative random component means from the (adjusted) base to the
290 level_range(dgn, base, rand, chain, pd, adjusted_base)
292 int base, rand, chain;
302 base += levtmp->dlevel.dlevel;
305 if (base < 0) base = (lmax + base + 1);
308 if (base < 1 || base > lmax)
309 panic("level_range: base valu
327 int i, j, num, base, dnum = parent_dnum(s, pd); local
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Ddungeon.c286 * a negative random component means from the (adjusted) base to the
290 level_range(dgn, base, rand, chain, pd, adjusted_base)
292 int base, rand, chain;
302 base += levtmp->dlevel.dlevel;
305 if (base < 0) base = (lmax + base + 1);
308 if (base < 1 || base > lmax)
309 panic("level_range: base valu
327 int i, j, num, base, dnum = parent_dnum(s, pd); local
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/
H A Dtimer.c181 #define TIMER_VADDR_OFFSET(base, offset) ((void*)((uintptr_t)base + offset))
182 #define TIMER_REG(base, offset) *(volatile uint32_t *)TIMER_VADDR_OFFSET(base, offset)
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dtimer.c181 #define TIMER_VADDR_OFFSET(base, offset) ((void*)((uintptr_t)base + offset))
182 #define TIMER_REG(base, offset) *(volatile uint32_t *)TIMER_VADDR_OFFSET(base, offset)
/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h61 pte_t pte, pte_t *base);
/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dintel-vtd.c210 /* Fault Recording register offset relative to the base register */
291 rmrr_list->entries[i].base != filtered.entries[filtered.num - 1].base &&
306 .start = filtered.entries[j].base,
388 for (addr = rmrr_list->entries[i].base; addr < rmrr_list->entries[i].limit; addr += BIT(seL4_PageBits)) {
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dspi.c133 tegra_spi_init(enum spi_id id, volatile void* base, spi_chipselect_fn cs_func, argument
139 spi_bus->regs = base + spi_controller_offsets[id];

Completed in 275 milliseconds

12345678