Searched refs:addr (Results 51 - 75 of 184) sorted by relevance

12345678

/seL4-refos-master/libs/libmuslc/src/ldso/arm/
H A Dfind_exidx.c14 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.c11 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 Dreloc_arm.c52 unsigned long *addr; local
96 addr = (unsigned long *)
99 *addr -= ldbase;
100 *addr += total_offs;
102 *addr += ldbase;
H A Dreloc_aarch64.c52 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 Dreloc_arm.c52 unsigned long *addr; local
96 addr = (unsigned long *)
99 *addr -= ldbase;
100 *addr += total_offs;
102 *addr += ldbase;
H A Dreloc_aarch64.c52 unsigned long *addr; local
91 addr = (unsigned long *)
93 *addr = ldbase + rel->r_addend;
/seL4-refos-master/libs/libmuslc/src/internal/
H A Dfdpic_crt.h14 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 Dgetifaddrs.c36 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 Dnet.h234 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 Dphy.c597 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 Dphy.h105 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 Dphy.c469 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 Dnet.h248 * 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 Dphy.c646 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 Dphy.h108 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 Dregions.h47 #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 Dregions.h47 #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 Dmultiboot2.h24 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 Dload_img.h18 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 Dload_img.h18 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 Dpage_dma.c36 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 Dpage_dma.c36 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 Ddevice.py150 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 Dsys_morecore.c114 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 Dsys_morecore.c114 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);

Completed in 232 milliseconds

12345678