/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | miiphy.h | 46 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 D | miiphyutil.c | 91 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 D | page.h | 28 #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 D | page.h | 28 #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 D | pthread_arch.h | 14 #define MC_PC psw.addr
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | accept4.c | 8 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 D | recvfrom.c | 5 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 D | sendto.c | 5 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 D | iommu_dma.c | 34 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 D | iommu_dma.c | 34 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 D | miiphy.h | 24 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 D | miiphyutil.c | 247 * 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 D | fdt.h | 22 #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 D | io.h | 190 * @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 D | fdt.h | 22 #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 D | io.h | 190 * @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 D | ptrace.c | 10 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 D | miiphyutil.c | 91 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 D | io.h | 27 asm volatile ("mov %[val], %[addr]" 29 : [addr]"r"(*address)
|
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 40 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 D | clock.c | 40 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 D | io.h | 27 asm volatile ("mov %[val], %[addr]" 29 : [addr]"r"(*address)
|
/seL4-refos-master/kernel/include/drivers/irq/ |
H A D | riscv_plic0.h | 69 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 D | stack_trace.c | 23 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 D | stack_trace.c | 23 void *addr = __builtin_extract_return_addr(ret); \ 24 printf("Possible stack call (%d) from %p with frame at %p\n", x, addr, frame); \
|