Searched refs:addr (Results 26 - 50 of 184) sorted by relevance

12345678

/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dmiiphy.h46 int (*read)(const char *devname, unsigned char addr,
48 int (*write)(const char *devname, unsigned char addr,
52 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg,
54 int miiphy_write(const char *devname, unsigned char addr, unsigned char reg,
56 int miiphy_info(const char *devname, unsigned char addr, unsigned int *oui,
58 int miiphy_reset(const char *devname, unsigned char addr);
59 int miiphy_speed(const char *devname, unsigned char addr);
60 int miiphy_duplex(const char *devname, unsigned char addr);
61 int miiphy_is_1000base_x(const char *devname, unsigned char addr);
63 int miiphy_link(const char *devname, unsigned char addr);
[all...]
H A Dmiiphyutil.c91 static int legacy_miiphy_read(struct mii_dev *bus, int addr, int devad, int reg) argument
97 ret = ldev->read(bus->name, addr, reg, &val);
102 static int legacy_miiphy_write(struct mii_dev *bus, int addr, int devad, argument
107 return ldev->write(bus->name, addr, reg, val);
116 int (*read)(const char *devname, unsigned char addr,
118 int (*write)(const char *devname, unsigned char addr,
291 * use PHY address <addr> and register <reg>.
298 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
308 ret = bus->read(bus, addr, MDIO_DEVAD_NONE, reg);
319 * use PHY address <addr> an
115 miiphy_register(const char *name, int (*read)(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value), int (*write)(const char *devname, unsigned char addr, unsigned char reg, unsigned short value)) argument
326 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
371 miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, unsigned char *model, unsigned char *rev) argument
413 miiphy_reset(const char *devname, unsigned char addr) argument
456 miiphy_speed(const char *devname, unsigned char addr) argument
509 miiphy_duplex(const char *devname, unsigned char addr) argument
569 miiphy_is_1000base_x(const char *devname, unsigned char addr) argument
590 miiphy_link(const char *devname, unsigned char addr) argument
[all...]
/seL4-refos-master/libs/libutils/include/utils/
H A Dpage.h28 #define PAGE_ALIGN_4K(addr) ((addr) & ~PAGE_MASK_4K)
29 #define IS_ALIGNED_4K(addr) IS_ALIGNED(addr, PAGE_BITS_4K)
37 #define PAGE_ALIGN(addr, size) ((addr) & ~(size-1))
/seL4-refos-master/projects/util_libs/libutils/include/utils/
H A Dpage.h28 #define PAGE_ALIGN_4K(addr) ((addr) & ~PAGE_MASK_4K)
29 #define IS_ALIGNED_4K(addr) IS_ALIGNED(addr, PAGE_BITS_4K)
37 #define PAGE_ALIGN(addr, size) ((addr) & ~(size-1))
/seL4-refos-master/libs/libmuslc/arch/s390x/
H A Dpthread_arch.h14 #define MC_PC psw.addr
/seL4-refos-master/libs/libmuslc/src/network/
H A Daccept4.c8 int accept4(int fd, struct sockaddr *restrict addr, socklen_t *restrict len, int flg) argument
10 if (!flg) return accept(fd, addr, len);
11 int ret = socketcall_cp(accept4, fd, addr, len, flg, 0, 0);
13 ret = accept(fd, addr, len);
H A Drecvfrom.c5 ssize_t recvfrom(int fd, void *restrict buf, size_t len, int flags, struct sockaddr *restrict addr, socklen_t *restrict alen) argument
7 return socketcall_cp(recvfrom, fd, buf, len, flags, addr, alen);
H A Dsendto.c5 ssize_t sendto(int fd, const void *buf, size_t len, int flags, const struct sockaddr *addr, socklen_t alen) argument
7 return socketcall_cp(sendto, fd, buf, len, flags, addr, alen);
/seL4-refos-master/libs/libsel4utils/src/
H A Diommu_dma.c34 static void unmap_range(dma_man_t *dma, uintptr_t addr, size_t size) argument
36 uintptr_t start = ROUND_DOWN(addr, PAGE_SIZE_4K);
37 uintptr_t end = addr + size;
38 for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) {
40 uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr);
44 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr);
47 vspace_unmap_pages(dma->iospaces + i, (void *)addr, 1, seL4_PageBits, NULL);
66 for (uintptr_t addr
169 dma_free(void *cookie, void *addr, size_t size) argument
176 dma_pin(void *cookie, void *addr, size_t size) argument
181 dma_unpin(void *cookie, void *addr, size_t size) argument
185 dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Diommu_dma.c34 static void unmap_range(dma_man_t *dma, uintptr_t addr, size_t size) argument
36 uintptr_t start = ROUND_DOWN(addr, PAGE_SIZE_4K);
37 uintptr_t end = addr + size;
38 for (uintptr_t addr = start; addr < end; addr += PAGE_SIZE_4K) {
40 uintptr_t *cookie = (uintptr_t *)vspace_get_cookie(dma->iospaces + i, (void *)addr);
44 seL4_CPtr page = vspace_get_cap(dma->iospaces + i, (void *)addr);
47 vspace_unmap_pages(dma->iospaces + i, (void *)addr, 1, seL4_PageBits, NULL);
66 for (uintptr_t addr
169 dma_free(void *cookie, void *addr, size_t size) argument
176 dma_pin(void *cookie, void *addr, size_t size) argument
181 dma_unpin(void *cookie, void *addr, size_t size) argument
185 dma_cache_op(void *cookie, void *addr, size_t size, dma_cache_op_t op) argument
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dmiiphy.h24 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg,
26 int miiphy_write(const char *devname, unsigned char addr, unsigned char reg,
28 int miiphy_info(const char *devname, unsigned char addr, unsigned int *oui,
30 int miiphy_reset(const char *devname, unsigned char addr);
31 int miiphy_speed(const char *devname, unsigned char addr);
32 int miiphy_duplex(const char *devname, unsigned char addr);
33 int miiphy_is_1000base_x(const char *devname, unsigned char addr);
35 int miiphy_link(const char *devname, unsigned char addr);
86 int bb_miiphy_read(struct mii_dev *miidev, int addr, int devad, int reg);
87 int bb_miiphy_write(struct mii_dev *miidev, int addr, in
[all...]
H A Dmiiphyutil.c247 * use PHY address <addr> and register <reg>.
254 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
265 ret = bus->read(bus, addr, MDIO_DEVAD_NONE, reg);
277 * use PHY address <addr> and register <reg>.
284 int miiphy_write(const char *devname, unsigned char addr, unsigned char reg, argument
291 return bus->write(bus, addr, MDIO_DEVAD_NONE, reg, value);
331 int miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, argument
337 if (miiphy_read(devname, addr, MII_PHYSID2, &tmp) != 0) {
343 debug("MII_PHYSID2 @ 0x%x = 0x%04x\n", addr, reg);
350 if (miiphy_read(devname, addr, MII_PHYSID
413 miiphy_speed(const char *devname, unsigned char addr) argument
473 miiphy_duplex(const char *devname, unsigned char addr) argument
538 miiphy_is_1000base_x(const char *devname, unsigned char addr) argument
559 miiphy_link(const char *devname, unsigned char addr) argument
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dfdt.h22 #define READ_CELL32(addr) fdt32_ld(addr)
23 #define READ_CELL64(addr) fdt64_ld(addr)
24 #define READ_CELL(size, addr, offset) (size == 2 ? READ_CELL64(addr + (offset * sizeof(uint32_t))) : \
25 READ_CELL32(addr + (offset * sizeof(uint32_t))))
H A Dio.h190 * @param addr Virtual address of the memory buffer as given by the dma_alloc function
195 void *addr,
205 * @param addr Address of the memory to pin
212 void *addr,
221 * @param addr Address of the memory to unpin
226 void *addr,
234 * @param addr Start address to perform the cache operation on
240 void *addr,
267 void *addr,
272 dma_man->dma_free_fn(dma_man->cookie, addr, siz
265 ps_dma_free( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
275 ps_dma_pin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
285 ps_dma_unpin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
295 ps_dma_cache_op( const ps_dma_man_t *dma_man, void *addr, size_t size, dma_cache_op_t op) argument
306 ps_dma_cache_clean( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
314 ps_dma_cache_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
322 ps_dma_cache_clean_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
520 read_masked( volatile uint32_t *addr, uint32_t mask) argument
528 write_masked( volatile uint32_t *addr, uint32_t mask, uint32_t value) argument
538 read_bits( volatile uint32_t *addr, unsigned int first_bit, unsigned int nbits) argument
549 write_bits( volatile uint32_t *addr, unsigned int first_bit, unsigned int nbits, uint32_t value) argument
[all...]
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dfdt.h22 #define READ_CELL32(addr) fdt32_ld(addr)
23 #define READ_CELL64(addr) fdt64_ld(addr)
24 #define READ_CELL(size, addr, offset) (size == 2 ? READ_CELL64(addr + (offset * sizeof(uint32_t))) : \
25 READ_CELL32(addr + (offset * sizeof(uint32_t))))
H A Dio.h190 * @param addr Virtual address of the memory buffer as given by the dma_alloc function
195 void *addr,
205 * @param addr Address of the memory to pin
212 void *addr,
221 * @param addr Address of the memory to unpin
226 void *addr,
234 * @param addr Start address to perform the cache operation on
240 void *addr,
267 void *addr,
272 dma_man->dma_free_fn(dma_man->cookie, addr, siz
265 ps_dma_free( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
275 ps_dma_pin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
285 ps_dma_unpin( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
295 ps_dma_cache_op( const ps_dma_man_t *dma_man, void *addr, size_t size, dma_cache_op_t op) argument
306 ps_dma_cache_clean( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
314 ps_dma_cache_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
322 ps_dma_cache_clean_invalidate( const ps_dma_man_t *dma_man, void *addr, size_t size) argument
520 read_masked( volatile uint32_t *addr, uint32_t mask) argument
528 write_masked( volatile uint32_t *addr, uint32_t mask, uint32_t value) argument
538 read_bits( volatile uint32_t *addr, unsigned int first_bit, unsigned int nbits) argument
549 write_bits( volatile uint32_t *addr, unsigned int first_bit, unsigned int nbits, uint32_t value) argument
[all...]
/seL4-refos-master/libs/libmuslc/src/linux/
H A Dptrace.c10 void *addr, *data, *addr2; local
15 addr = va_arg(ap, void *);
21 ret = syscall(SYS_ptrace, req, pid, addr, data, addr2);
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmiiphyutil.c91 static int legacy_miiphy_read(struct mii_dev *bus, int addr, int devad, int reg) argument
97 ret = ldev->read(bus->name, addr, reg, &val);
102 static int legacy_miiphy_write(struct mii_dev *bus, int addr, int devad, argument
107 return ldev->write(bus->name, addr, reg, val);
116 int (*read)(const char *devname, unsigned char addr,
118 int (*write)(const char *devname, unsigned char addr,
291 * use PHY address <addr> and register <reg>.
298 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
308 ret = bus->read(bus, addr, MDIO_DEVAD_NONE, reg);
319 * use PHY address <addr> an
115 miiphy_register(const char *name, int (*read)(const char *devname, unsigned char addr, unsigned char reg, unsigned short *value), int (*write)(const char *devname, unsigned char addr, unsigned char reg, unsigned short value)) argument
326 miiphy_write(const char *devname, unsigned char addr, unsigned char reg, unsigned short value) argument
371 miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, unsigned char *model, unsigned char *rev) argument
413 miiphy_reset(const char *devname, unsigned char addr) argument
456 miiphy_speed(const char *devname, unsigned char addr) argument
509 miiphy_duplex(const char *devname, unsigned char addr) argument
569 miiphy_is_1000base_x(const char *devname, unsigned char addr) argument
590 miiphy_link(const char *devname, unsigned char addr) argument
[all...]
/seL4-refos-master/libs/libutils/arch_include/arm/utils/arch/
H A Dio.h27 asm volatile ("mov %[val], %[addr]"
29 : [addr]"r"(*address)
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/
H A Dclock.c40 static inline uint32_t reg_read(uintptr_t addr) argument
43 switch (addr & 0x3000) {
57 printf("Invalid memory access: 0x%x\n", (uint32_t)addr);
61 if (addr & 0x3) {
62 printf("Unaligned memory access: 0x%x\n", (uint32_t)addr);
64 addr &= 0xfff;
65 addr /= 4;
66 return reg[addr];
69 static inline void reg_write(uintptr_t addr, uint32_t v) argument
72 switch (addr
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dclock.c40 static inline uint32_t reg_read(uintptr_t addr) argument
43 switch (addr & 0x3000) {
57 printf("Invalid memory access: 0x%x\n", (uint32_t)addr);
61 if (addr & 0x3) {
62 printf("Unaligned memory access: 0x%x\n", (uint32_t)addr);
64 addr &= 0xfff;
65 addr /= 4;
66 return reg[addr];
69 static inline void reg_write(uintptr_t addr, uint32_t v) argument
72 switch (addr
[all...]
/seL4-refos-master/projects/util_libs/libutils/arch_include/arm/utils/arch/
H A Dio.h27 asm volatile ("mov %[val], %[addr]"
29 : [addr]"r"(*address)
/seL4-refos-master/kernel/include/drivers/irq/
H A Driscv_plic0.h69 static inline uint32_t readl(uint64_t addr) argument
71 return *((volatile uint32_t *)(addr));
74 static inline void writel(uint32_t val, uint64_t addr) argument
76 *((volatile uint32_t *)(addr)) = val;
81 word_t addr = PLAT_PLIC_EN_ADJUST(PLIC_EN + hart_id * PLIC_EN_PER_HART + context_id * PLIC_EN_PER_CONTEXT); local
82 return addr;
88 word_t addr = PLAT_PLIC_THRES_ADJUST(PLIC_THRES + hart_id * PLIC_THRES_PER_HART + context_id * PLIC_THRES_PER_CONTEXT); local
89 return addr;
94 word_t addr = plic_thres_offset(hart_id, context_id) + PLIC_THRES_CLAIM; local
95 return addr;
100 word_t addr = PLIC_PPTR_BASE + PLIC_PENDING + (interrupt / 32) * 4; local
134 uint64_t addr = 0; local
[all...]
/seL4-refos-master/libs/libsel4debug/src/sel4_arch/ia32/
H A Dstack_trace.c23 void *addr = __builtin_extract_return_addr(ret); \
24 printf("Possible stack call (%d) from %p with frame at %p\n", x, addr, frame); \
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/sel4_arch/ia32/
H A Dstack_trace.c23 void *addr = __builtin_extract_return_addr(ret); \
24 printf("Possible stack call (%d) from %p with frame at %p\n", x, addr, frame); \

Completed in 200 milliseconds

12345678