/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | getline.c | 210 * 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 D | getline.c | 210 * 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 D | fdt.c | 88 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 D | irq_combiner.c | 117 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 D | irq_combiner.c | 117 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 D | rule.py | 51 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 D | am335x-timer.c | 31 #define WDT_REG(base, off) ((volatile uint32_t *)((base) + (off)))
|
/seL4-refos-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 44 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 D | dynlink.c | 34 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 D | unimplemented.h | 34 unsigned long simple_strtoul(const char *cp, char **endp, unsigned int base);
|
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 67 uint32_t base; member in struct:acpi_rmrr_entry
|
/seL4-refos-master/libs/libmuslc/src/malloc/ |
H A D | malloc.c | 155 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 D | vspace.c | 789 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 D | sys_morecore.c | 199 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 D | sys_morecore.c | 199 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 D | irq_combiner.h | 104 * @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 D | irq_combiner.h | 104 * @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 D | vspace.h | 51 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 D | dungeon.c | 286 * 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 D | dungeon.c | 286 * 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 D | timer.c | 181 #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 D | timer.c | 181 #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 D | vspace.h | 61 pte_t pte, pte_t *base);
|
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | intel-vtd.c | 210 /* 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 D | spi.c | 133 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];
|