| /seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/virtio/ |
| H A D | virtio_ring.h | 65 uint64_t addr; member in struct:vring_desc
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 269 i2c_scan(i2c_bus_t* i2c_bus, int start, int* addr, int naddr) argument
|
| H A D | i2c_bitbang.c | 271 i2c_bb_set_self_slave_address(i2c_bus_t *i2c_bus, int addr) argument
|
| /seL4-refos-master/kernel/include/arch/x86/arch/32/mode/ |
| H A D | machine.h | 20 static inline void setCurrentPD(paddr_t addr) argument
26 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument
|
| /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/libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 70 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
193 static long sys_mmap_impl_static(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
210 static long sys_mmap_impl_dynamic(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
227 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
341 void *addr = va_arg(ap, void *); local
352 void *addr = va_arg(ap, void *); local
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 239 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1, local
259 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1, local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 399 w_associate_window_contains(struct w_associated_window *w, vaddr_t addr) argument
406 w_associate_find_index(struct w_associated_windowlist *aw, vaddr_t addr) argument
450 w_associate_find(struct w_associated_windowlist *aw, vaddr_t addr) argument
|
| /seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
| H A D | selfloader.c | 59 sl_roundup_page(int addr) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 70 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
193 static long sys_mmap_impl_static(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
210 static long sys_mmap_impl_dynamic(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
227 long sys_mmap_impl(void *addr, size_t length, int prot, int flags, int fd, off_t offset) argument
341 void *addr = va_arg(ap, void *); local
352 void *addr = va_arg(ap, void *); local
[all...] |
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.c | 239 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1, local
259 char* addr = (char*) vspace_map_pages(&procServ.vspace, &frame, NULL, seL4_AllRights, 1, local
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 399 w_associate_window_contains(struct w_associated_window *w, vaddr_t addr) argument
406 w_associate_find_index(struct w_associated_windowlist *aw, vaddr_t addr) argument
450 w_associate_find(struct w_associated_windowlist *aw, vaddr_t addr) argument
|
| /seL4-refos-master/apps/selfloader/src/ |
| H A D | selfloader.c | 59 sl_roundup_page(int addr) argument
|
| /seL4-refos-master/libs/libmuslc/arch/s390x/bits/ |
| H A D | user.h | 18 unsigned long mask, addr; member in struct:_user_psw_struct
|
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | dynlink.h | 46 uintptr_t addr, p_vaddr, p_memsz; member in struct:fdpic_loadseg
|
| /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
84 uint8_t addr[16] = {0}; local
94 copy_lladdr(struct sockaddr **r, union sockany *sa, void *addr, size_t addrlen, int ifindex, unsigned short hatype) argument
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | i2c_bitbang.c | 271 i2c_bb_set_self_slave_address(i2c_bus_t *i2c_bus, int addr) argument
|
| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | pmic.c | 81 pmic_init(i2c_bus_t* i2c, int addr, pmic_t* pmic) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | clock.c | 40 static inline uint32_t reg_read(uintptr_t addr) argument
69 static inline void reg_write(uintptr_t addr, uint32_t v) argument
[all...] |
| /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
102 static int legacy_miiphy_write(struct mii_dev *bus, int addr, int devad, argument
298 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
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...] |
| H A D | phy.c | 469 static struct phy_device *phy_device_create(struct mii_dev *bus, int addr, argument
514 static int get_phy_id(struct mii_dev *bus, int addr, int devad, u32 *phy_id) argument
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...] |
| H A D | phy.h | 171 int addr; member in struct:phy_device
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | miiphyutil.c | 91 static int legacy_miiphy_read(struct mii_dev *bus, int addr, int devad, int reg) argument
102 static int legacy_miiphy_write(struct mii_dev *bus, int addr, int devad, argument
298 int miiphy_read(const char *devname, unsigned char addr, unsigned char reg, argument
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...] |
| H A D | phy.c | 597 static struct phy_device *phy_device_create(struct mii_dev *bus, int addr, argument
642 int __weak get_phy_id(struct mii_dev *bus, int addr, int devad, u32 *phy_id) argument
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...] |
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdt_sw.c | 203 int fdt_add_reservemap_entry(void *fdt, uint64_t addr, uint64_t size) argument
|