/seL4-refos-master/libs/libmuslc/src/ldso/arm/ |
H A D | find_exidx.c | 14 uintptr_t addr, exidx_start = 0; local 18 addr = info->dlpi_addr + phdr->p_vaddr; 21 match |= data->pc >= addr && data->pc < addr + phdr->p_memsz; 24 exidx_start = addr;
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | __timedwait.c | 11 int __timedwait_cp(volatile int *addr, int val, argument 31 r = -__syscall_cp(SYS_futex, addr, FUTEX_WAIT|priv, val, top); 32 if (r == ENOSYS) r = -__syscall_cp(SYS_futex, addr, FUTEX_WAIT, val, top); 38 int __timedwait(volatile int *addr, int val, argument 43 r = __timedwait_cp(addr, val, clk, at, priv);
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/gnuefi/ |
H A D | reloc_arm.c | 52 unsigned long *addr; local 96 addr = (unsigned long *) 99 *addr -= ldbase; 100 *addr += total_offs; 102 *addr += ldbase;
|
H A D | reloc_aarch64.c | 52 unsigned long *addr; local 91 addr = (unsigned long *) 93 *addr = ldbase + rel->r_addend;
|
/seL4-refos-master/tools/elfloader/src/binaries/efi/gnuefi/ |
H A D | reloc_arm.c | 52 unsigned long *addr; local 96 addr = (unsigned long *) 99 *addr -= ldbase; 100 *addr += total_offs; 102 *addr += ldbase;
|
H A D | reloc_aarch64.c | 52 unsigned long *addr; local 91 addr = (unsigned long *) 93 *addr = ldbase + rel->r_addend;
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | fdpic_crt.h | 14 uintptr_t addr, p_vaddr, p_memsz; member in struct:__anon362::fdpic_loadseg 22 (*a + lm->segs[rseg].addr - lm->segs[rseg].p_vaddr); 26 *r += lm->segs[vseg].addr - lm->segs[vseg].p_vaddr;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | getifaddrs.c | 36 union sockany addr, netmask, ifu; member in struct:ifaddrs_storage 57 static void copy_addr(struct sockaddr **r, int af, union sockany *sa, void *addr, size_t addrlen, int ifindex) argument 70 if (IN6_IS_ADDR_LINKLOCAL(addr) || IN6_IS_ADDR_MC_LINKLOCAL(addr)) 78 memcpy(dst, addr, len); 84 uint8_t addr[16] = {0}; local 87 if (prefixlen > 8*sizeof(addr)) prefixlen = 8*sizeof(addr); 89 memset(addr, 0xff, i); 90 if (i < sizeof(addr)) add 94 copy_lladdr(struct sockaddr **r, union sockany *sa, void *addr, size_t addrlen, int ifindex, unsigned short hatype) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 234 void eth_parse_enetaddr(const char *addr, uchar *enetaddr); 242 * The environment variable to be set is defined by <@base_name><@index>addr. 510 extern struct in_addr net_ip; /* Our IP addr (0 = unknown) */ 511 extern struct in_addr net_server_ip; /* Server IP addr (0 = unknown) */ 583 int net_update_ether(struct ethernet_hdr *et, uchar *addr, uint prot); 593 * @addr: Address to check (must be 16-bit aligned) 597 unsigned compute_ip_checksum(const void *addr, unsigned nbytes); 614 * @addr: Address to check (must be 16-bit aligned) 618 int ip_checksum_ok(const void *addr, unsigned nbytes); 742 * @addr 746 is_zero_ethaddr(const u8 *addr) argument 758 is_multicast_ethaddr(const u8 *addr) argument 769 is_broadcast_ethaddr(const u8 *addr) argument 784 is_valid_ethaddr(const u8 *addr) argument 798 net_random_ethaddr(uchar *addr) argument [all...] |
H A D | phy.c | 597 static struct phy_device *phy_device_create(struct mii_dev *bus, int addr, argument 608 bus->name, addr); 620 dev->addr = addr; 628 bus->phymap[addr] = dev; 634 * get_phy_id - reads the specified addr for its ID. 636 * @addr: PHY address on the MII bus 639 * Description: Reads the ID registers of the PHY at @addr on the 642 int __weak get_phy_id(struct mii_dev *bus, int addr, int devad, u32 *phy_id) argument 648 phy_reg = bus->read(bus, addr, deva 671 int addr = ffs(phy_mask) - 1; local 686 int addr = ffs(phy_mask) - 1; local 718 int addr = ffs(phy_mask) - 1; local 735 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 792 miiphy_reset(const char *devname, unsigned char addr) argument 839 phy_connect(struct mii_dev *bus, int addr, struct udevice *dev, phy_interface_t interface) argument [all...] |
H A D | phy.h | 105 int (*read)(struct mii_dev *bus, int addr, int devad, int reg); 106 int (*write)(struct mii_dev *bus, int addr, int devad, int reg, 145 int (*readext)(struct phy_device *phydev, int addr, int devad, int reg); 146 int (*writeext)(struct phy_device *phydev, int addr, int devad, int reg, 180 int addr; member in struct:phy_device 199 return bus->read(bus, phydev->addr, devad, regnum); 207 return bus->write(bus, phydev->addr, devad, regnum, val); 227 struct phy_device *phy_connect(struct mii_dev *bus, int addr, 232 struct phy_device *phy_connect(struct mii_dev *bus, int addr, 272 int get_phy_id(struct mii_dev *bus, int addr, in [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | phy.c | 469 static struct phy_device *phy_device_create(struct mii_dev *bus, int addr, argument 480 bus->name, addr); 492 dev->addr = addr; 500 bus->phymap[addr] = dev; 506 * get_phy_id - reads the specified addr for its ID. 508 * @addr: PHY address on the MII bus 511 * Description: Reads the ID registers of the PHY at @addr on the 514 static int get_phy_id(struct mii_dev *bus, int addr, int devad, u32 *phy_id) argument 520 phy_reg = bus->read(bus, addr, deva 543 int addr = ffs(phy_mask) - 1; local 560 int addr = ffs(phy_mask) - 1; local 600 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 661 miiphy_reset(const char *devname, unsigned char addr) argument 713 phy_connect(struct mii_dev *bus, int addr, struct eth_device *dev, phy_interface_t interface) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 248 * The environment variable to be set is defined by <@base_name><@index>addr. 518 extern struct in_addr net_ip; /* Our IP addr (0 = unknown) */ 519 extern struct in_addr net_server_ip; /* Server IP addr (0 = unknown) */ 589 int net_update_ether(struct ethernet_hdr *et, uchar *addr, uint prot); 600 * @addr: Address to check (must be 16-bit aligned) 604 unsigned compute_ip_checksum(const void *addr, unsigned nbytes); 621 * @addr: Address to check (must be 16-bit aligned) 625 int ip_checksum_ok(const void *addr, unsigned nbytes); 762 * @addr: Pointer to a six-byte array containing the Ethernet address 766 static inline int is_zero_ethaddr(const u8 *addr) argument 778 is_multicast_ethaddr(const u8 *addr) argument 789 is_broadcast_ethaddr(const u8 *addr) argument 804 is_valid_ethaddr(const u8 *addr) argument 818 net_random_ethaddr(uchar *addr) argument [all...] |
H A D | phy.c | 646 static struct phy_device *phy_device_create(struct mii_dev *bus, int addr, argument 657 bus->name, addr); 668 dev->addr = addr; 676 bus->phymap[addr] = dev; 682 * get_phy_id - reads the specified addr for its ID. 684 * @addr: PHY address on the MII bus 687 * Description: Reads the ID registers of the PHY at @addr on the 690 int __weak get_phy_id(struct mii_dev *bus, int addr, int devad, u32 *phy_id) argument 696 phy_reg = bus->read(bus, addr, deva 721 int addr = ffs(phy_mask) - 1; local 737 int addr = ffs(phy_mask) - 1; local 772 int addr = ffs(phy_mask) - 1; local 789 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 848 miiphy_reset(const char *devname, unsigned char addr) argument 894 phy_connect(struct mii_dev *bus, int addr, struct udevice *dev, phy_interface_t interface) argument [all...] |
H A D | phy.h | 108 int (*read)(struct mii_dev *bus, int addr, int devad, int reg); 109 int (*write)(struct mii_dev *bus, int addr, int devad, int reg, 148 int (*readext)(struct phy_device *phydev, int addr, int devad, int reg); 149 int (*writeext)(struct phy_device *phydev, int addr, int devad, int reg, 183 int addr; member in struct:phy_device 202 return bus->read(bus, phydev->addr, devad, regnum); 210 return bus->write(bus, phydev->addr, devad, regnum, val); 230 struct phy_device *phy_connect(struct mii_dev *bus, int addr, 235 struct phy_device *phy_connect(struct mii_dev *bus, int addr, 275 int get_phy_id(struct mii_dev *bus, int addr, in [all...] |
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
H A D | regions.h | 47 #define ACPI_TABLE_TEST(addr, TABLE) \ 48 (strncmp(addr, ACPI_SIG_##TABLE, 4)==0)
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
H A D | regions.h | 47 #define ACPI_TABLE_TEST(addr, TABLE) \ 48 (strncmp(addr, ACPI_SIG_##TABLE, 4)==0)
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | multiboot2.h | 24 uint64_t addr; member in struct:multiboot2_memory 37 uint64_t addr; member in struct:multiboot2_fb
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | load_img.h | 18 char *addr; /* Address for the depacked bit-planes */ member in struct:IMG_HEADER 42 /* Bitplanes are one after another in address IMG_HEADER.addr. */
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | load_img.h | 18 char *addr; /* Address for the depacked bit-planes */ member in struct:IMG_HEADER 42 /* Bitplanes are one after another in address IMG_HEADER.addr. */
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | page_dma.c | 36 static void dma_free(void *cookie, void *addr, size_t size) argument 39 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr); 41 assert(alloc->base == addr); 45 seL4_CPtr frame = vspace_get_cap(&dma->vspace, addr + i * PAGE_SIZE_4K); 46 vspace_unmap_pages(&dma->vspace, addr + i * PAGE_SIZE_4K, 1, PAGE_BITS_4K, NULL); 55 static uintptr_t dma_pin(void *cookie, void *addr, size_t size) argument 58 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr); 62 uint32_t diff = addr - alloc->base; 162 static void dma_unpin(void *cookie, void *addr, size_t size) argument 166 static void dma_cache_op(void *cookie, void *addr, size_ argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | page_dma.c | 36 static void dma_free(void *cookie, void *addr, size_t size) argument 39 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr); 41 assert(alloc->base == addr); 45 seL4_CPtr frame = vspace_get_cap(&dma->vspace, addr + i * PAGE_SIZE_4K); 46 vspace_unmap_pages(&dma->vspace, addr + i * PAGE_SIZE_4K, 1, PAGE_BITS_4K, NULL); 55 static uintptr_t dma_pin(void *cookie, void *addr, size_t size) argument 58 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr); 62 uint32_t diff = addr - alloc->base; 162 static void dma_unpin(void *cookie, void *addr, size_t size) argument 166 static void dma_cache_op(void *cookie, void *addr, size_ argument [all...] |
/seL4-refos-master/kernel/tools/hardware/ |
H A D | device.py | 150 def _translate_child_address(self, addr: int) -> int: 156 return addr 163 return self.parent._translate_child_address(addr) 165 addr = Utils.translate_address(self, addr) 166 return self.parent._translate_child_address(addr) 174 def translate_address(node: WrappedNode, addr: int) -> int: 183 # <child-addr> <parent-addr> <length> 184 # child-addr i [all...] |
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_morecore.c | 114 char *addr = va_arg(ap, char*); local 124 (void) addr; 173 char *addr = va_arg(ap, char*); local 191 if ((uint32_t)addr >= PROCESS_MMAP_BOT && (uint32_t)addr < PROCESS_MMAP_TOP) { 193 int error = refosio_munmap_anon(&refosIOState.mmapState, (uint32_t) addr, sizeNPages);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_morecore.c | 114 char *addr = va_arg(ap, char*); local 124 (void) addr; 173 char *addr = va_arg(ap, char*); local 191 if ((uint32_t)addr >= PROCESS_MMAP_BOT && (uint32_t)addr < PROCESS_MMAP_TOP) { 193 int error = refosio_munmap_anon(&refosIOState.mmapState, (uint32_t) addr, sizeNPages);
|