/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | arch_prctl.c | 3 int arch_prctl(int code, unsigned long addr) argument 5 return syscall(SYS_arch_prctl, code, addr);
|
H A D | quotactl.c | 4 int quotactl(int cmd, const char *special, int id, char *addr) argument 6 return syscall(SYS_quotactl, cmd, special, id, addr);
|
H A D | cache.c | 5 int _flush_cache(void *addr, int len, int op) argument 7 return syscall(SYS_cacheflush, addr, len, op); 13 int __cachectl(void *addr, int len, int op) argument 15 return syscall(SYS_cachectl, addr, len, op);
|
H A D | remap_file_pages.c | 5 int remap_file_pages(void *addr, size_t size, int prot, size_t pgoff, int flags) argument 7 return syscall(SYS_remap_file_pages, addr, size, prot, pgoff, flags);
|
/seL4-refos-master/libs/libmuslc/src/ipc/ |
H A D | shmdt.c | 5 int shmdt(const void *addr) argument 8 return syscall(SYS_shmdt, addr); 10 return syscall(SYS_ipc, IPCOP_shmdt, 0, 0, 0, addr);
|
H A D | shmat.c | 6 void *shmat(int id, const void *addr, int flag) argument 8 return (void *)syscall(SYS_shmat, id, addr, flag); 11 void *shmat(int id, const void *addr, int flag) argument 14 ret = syscall(SYS_ipc, IPCOP_shmat, id, flag, &addr, addr); 15 return (ret > -(unsigned long)SHMLBA) ? (void *)ret : (void *)addr;
|
/seL4-refos-master/libs/libmuslc/src/mman/ |
H A D | mincore.c | 5 int mincore (void *addr, size_t len, unsigned char *vec) argument 7 return syscall(SYS_mincore, addr, len, vec);
|
H A D | mlock.c | 4 int mlock(const void *addr, size_t len) argument 6 return syscall(SYS_mlock, addr, len);
|
H A D | munlock.c | 4 int munlock(const void *addr, size_t len) argument 6 return syscall(SYS_munlock, addr, len);
|
H A D | madvise.c | 5 int __madvise(void *addr, size_t len, int advice) argument 7 return syscall(SYS_madvise, addr, len, advice);
|
H A D | posix_madvise.c | 5 int posix_madvise(void *addr, size_t len, int advice) argument 8 return -__syscall(SYS_madvise, addr, len, advice);
|
H A D | mprotect.c | 5 int __mprotect(void *addr, size_t len, int prot) argument 8 start = (size_t)addr & -PAGE_SIZE; 9 end = (size_t)((char *)addr + len + PAGE_SIZE-1) & -PAGE_SIZE;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | accept.c | 5 int accept(int fd, struct sockaddr *restrict addr, socklen_t *restrict len) argument 7 return socketcall_cp(accept, fd, addr, len, 0, 0, 0);
|
H A D | bind.c | 4 int bind(int fd, const struct sockaddr *addr, socklen_t len) argument 6 return socketcall(bind, fd, addr, len, 0, 0, 0);
|
H A D | connect.c | 5 int connect(int fd, const struct sockaddr *addr, socklen_t len) argument 7 return socketcall_cp(connect, fd, addr, len, 0, 0, 0);
|
H A D | getpeername.c | 4 int getpeername(int fd, struct sockaddr *restrict addr, socklen_t *restrict len) argument 6 return socketcall(getpeername, fd, addr, len, 0, 0, 0);
|
H A D | getsockname.c | 4 int getsockname(int fd, struct sockaddr *restrict addr, socklen_t *restrict len) argument 6 return socketcall(getsockname, fd, addr, len, 0, 0, 0);
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | __futex.c | 4 int __futex(volatile int *addr, int op, int val, void *ts) argument 6 return syscall(SYS_futex, addr, op, val, ts);
|
H A D | __wait.c | 3 void __wait(volatile int *addr, volatile int *waiters, int val, int priv) argument 8 if (*addr==val) a_spin(); 12 while (*addr==val) { 13 __syscall(SYS_futex, addr, FUTEX_WAIT|priv, val, 0) != -ENOSYS 14 || __syscall(SYS_futex, addr, FUTEX_WAIT, val, 0);
|
H A D | pthread_attr_setstack.c | 3 int pthread_attr_setstack(pthread_attr_t *a, void *addr, size_t size) argument 6 a->_a_stackaddr = (size_t)addr + size;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | io.h | 16 #define __arch_getl(addr) *((volatile uint32_t*)(addr)) 17 #define __arch_getw(addr) *((volatile uint16_t*)(addr)) 18 #define __arch_getb(addr) *((volatile uint8_t*)(addr)) 20 #define __arch_putl(val, addr) *((volatile uint32_t*)(addr)) = val 21 #define __arch_putw(val, addr) *((volatile uint16_t*)(addr)) [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | io.h | 15 #define __arch_getl(addr) *((volatile uint32_t*)(addr)) 16 #define __arch_getw(addr) *((volatile uint16_t*)(addr)) 17 #define __arch_getb(addr) *((volatile uint8_t*)(addr)) 19 #define __arch_putl(val, addr) *((volatile uint32_t*)(addr)) = val 20 #define __arch_putw(val, addr) *((volatile uint16_t*)(addr)) [all...] |
/seL4-refos-master/libs/libmuslc/src/ldso/ |
H A D | dladdr.c | 5 static int stub_dladdr(const void *addr, Dl_info *info) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | io.h | 15 #define __arch_getl(addr) *((volatile uint32_t*)(addr)) 16 #define __arch_getw(addr) *((volatile uint16_t*)(addr)) 17 #define __arch_getb(addr) *((volatile uint8_t*)(addr)) 19 #define __arch_putl(val, addr) *((volatile uint32_t*)(addr)) = val 20 #define __arch_putw(val, addr) *((volatile uint16_t*)(addr)) [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | miiphy.h | 44 int (*read)(const char *devname, unsigned char addr, 46 int (*write)(const char *devname, unsigned char addr, 50 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, 52 int miiphy_write(const char *devname, unsigned char addr, unsigned char reg, 54 int miiphy_info(const char *devname, unsigned char addr, unsigned int *oui, 56 int miiphy_reset(const char *devname, unsigned char addr); 57 int miiphy_speed(const char *devname, unsigned char addr); 58 int miiphy_duplex(const char *devname, unsigned char addr); 59 int miiphy_is_1000base_x(const char *devname, unsigned char addr); 61 int miiphy_link(const char *devname, unsigned char addr); [all...] |