/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | phy.h | 103 int (*read)(struct mii_dev *bus, int addr, int devad, int reg); 104 int (*write)(struct mii_dev *bus, int addr, int devad, int reg, 171 int addr; member in struct:phy_device 182 return bus->read(bus, phydev->addr, devad, regnum); 190 return bus->write(bus, phydev->addr, devad, regnum, val); 206 struct phy_device *phy_connect(struct mii_dev *bus, int addr,
|
/seL4-refos-master/libs/libmuslc/src/passwd/ |
H A D | nscd_query.c | 13 } addr = { variable in typeref:struct:__anon458 53 if (connect(fd, (struct sockaddr*)&addr, sizeof(addr)) < 0) {
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | lookup.h | 10 uint8_t addr[16]; member in struct:address
|
H A D | lookup_ipliteral.c | 21 memcpy(&buf[0].addr, &a4, sizeof a4); 41 memcpy(&buf[0].addr, &a6, sizeof a6);
|
H A D | lookup_name.c | 36 buf[cnt++] = (struct address){ .family = AF_INET, .addr = { 127,0,0,1 } }; 38 buf[cnt++] = (struct address){ .family = AF_INET6, .addr = { [15] = 1 } }; 119 memcpy(ctx->addrs[ctx->cnt++].addr, data, 4); 125 memcpy(ctx->addrs[ctx->cnt++].addr, data, 16); 213 unsigned char addr[16]; member in struct:policy 238 if (memcmp(a->s6_addr, defpolicy[i].addr, defpolicy[i].len)) 241 != defpolicy[i].addr[defpolicy[i].len]) 332 memcpy(buf[i].addr+12, buf[i].addr, 4); 333 memcpy(buf[i].addr, "\ [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
H A D | machine_pl2.h | 47 static inline void setCurrentPDPL2(paddr_t addr) argument 52 asm volatile("mcrr p15, 6, %0, %1, c2" : : "r"(addr), "r"(vmid)); 56 static inline void setCurrentHypPD(paddr_t addr) argument 60 asm volatile("mcrr p15, 4, %0, %1, c2" : : "r"(addr), "r"(zero));
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 16 static inline cr3_t makeCR3(paddr_t addr, word_t pcid) argument 18 return cr3_new(addr, config_set(CONFIG_SUPPORT_PCID) ? pcid : 0); 95 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument 97 setCurrentCR3(makeCR3(addr, pcid), 1); 100 static inline void setCurrentUserVSpaceRoot(paddr_t addr, word_t pcid) argument 103 setCurrentUserCR3(makeCR3(addr, pcid)); 105 setCurrentVSpaceRoot(addr, pcid); 136 uint64_t addr; member in struct:invpcid_desc 149 desc.addr = (uint64_t)vaddr;
|
/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_attr_get.c | 38 int pthread_attr_getstack(const pthread_attr_t *restrict a, void **restrict addr, size_t *restrict size) argument 43 *addr = (void *)(a->_a_stackaddr - *size);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | unimplemented.h | 22 #define UNRESOURCE(mapper, id, addr) ps_io_unmap(mapper, addr, id##_SIZE)
|
/seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
H A D | hardware.h | 50 #define RISCV_GET_PT_INDEX(addr, n) (((addr) >> (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n))) + seL4_PageBits)) & MASK(PT_INDEX_BITS))
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 204 void (*set_hsmode_master_address)(i2c_bus_t *bus, int addr); 213 int (*set_self_slave_address)(i2c_bus_t *bus, int addr); 365 * @param[in] addr The address to assign to this bus. The RW bit of 369 static inline int i2c_set_self_slave_address(i2c_bus_t *bus, int addr) argument 373 ZF_LOGF_IF(!i2c_is_valid_address(i2c_extract_address(addr)), "I2C address " 376 return bus->set_self_slave_address(bus, addr); 385 * @param[in] addr The address to assign to this bus. The RW bit of 390 static inline void i2c_set_hsmode_master_address(i2c_bus_t *i2c_bus, int addr) argument 394 return i2c_bus->set_hsmode_master_address(i2c_bus, addr); 455 * @param[out] addr O [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 204 void (*set_hsmode_master_address)(i2c_bus_t *bus, int addr); 213 int (*set_self_slave_address)(i2c_bus_t *bus, int addr); 365 * @param[in] addr The address to assign to this bus. The RW bit of 369 static inline int i2c_set_self_slave_address(i2c_bus_t *bus, int addr) argument 373 ZF_LOGF_IF(!i2c_is_valid_address(i2c_extract_address(addr)), "I2C address " 376 return bus->set_self_slave_address(bus, addr); 385 * @param[in] addr The address to assign to this bus. The RW bit of 390 static inline void i2c_set_hsmode_master_address(i2c_bus_t *i2c_bus, int addr) argument 394 return i2c_bus->set_hsmode_master_address(i2c_bus, addr); 455 * @param[out] addr O [all...] |
/seL4-refos-master/kernel/tools/hardware/ |
H A D | irq.py | 66 addr = Utils.make_number(child_addr_cells, list(child.get_prop('reg').words)) 68 addr = 0 81 addr &= addr_mask 95 if ent_addr == addr and ent_spec == specifier: 108 self.node.path, addr, specifier, child.path))
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/ |
H A D | machine.h | 20 static inline void setCurrentPD(paddr_t addr) argument 22 MODE_NODE_STATE(ia32KSCurrentPD) = addr; 23 write_cr3(addr); 26 static inline void setCurrentVSpaceRoot(paddr_t addr, word_t pcid) argument 30 setCurrentPD(addr);
|
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/elf/ |
H A D | elf64.h | 102 static uint64_t elf64_read64(void *addr) argument 105 if (((uintptr_t)addr) % 8 == 0) { 106 ret = *((uint64_t *)addr); 108 ret = *((uint32_t *)(((uintptr_t)addr) + 4)); 110 ret |= *((uint32_t *)addr);
|
/seL4-refos-master/tools/elfloader/include/binaries/elf/ |
H A D | elf64.h | 102 static uint64_t elf64_read64(void *addr) argument 105 if (((uintptr_t)addr) % 8 == 0) { 106 ret = *((uint64_t *)addr); 108 ret = *((uint32_t *)(((uintptr_t)addr) + 4)); 110 ret |= *((uint32_t *)addr);
|
/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 230 return sys_mmap_impl_static(addr, length, prot, flags, fd, offset); 232 return sys_mmap_impl_dynamic(addr, length, prot, flags, fd, offset); 341 void *addr = va_arg(ap, void *); local 347 return sys_mmap_impl(addr, length, prot, flags, fd, offset); 352 void *addr = va_arg(ap, void *); local 360 return sys_mmap_impl(addr, lengt [all...] |
/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 230 return sys_mmap_impl_static(addr, length, prot, flags, fd, offset); 232 return sys_mmap_impl_dynamic(addr, length, prot, flags, fd, offset); 341 void *addr = va_arg(ap, void *); local 347 return sys_mmap_impl(addr, length, prot, flags, fd, offset); 352 void *addr = va_arg(ap, void *); local 360 return sys_mmap_impl(addr, lengt [all...] |
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | intel-vtd.c | 319 BOOT_CODE static void vtd_map_reserved_page(vtd_cte_t *vtd_context_table, int context_index, paddr_t addr) argument 350 iopt_index = ((addr >> seL4_PageBits) >> (VTD_PT_INDEX_BITS * i)) & MASK(VTD_PT_INDEX_BITS); 355 *vtd_pte_slot = vtd_pte_new(addr, 1, 1); 387 uint32_t addr; local 388 for (addr = rmrr_list->entries[i].base; addr < rmrr_list->entries[i].limit; addr += BIT(seL4_PageBits)) { 389 vtd_map_reserved_page(vtd_context_table, vtd_get_context_index(rmrr_list->entries[i].device), addr); 423 uint32_t data, addr; local 426 addr [all...] |
/seL4-refos-master/libs/librefos/include/refos-util/ |
H A D | walloc.h | 93 @param addr The base vaddr of the allocated window. 96 void walloc_free(uint32_t addr, int npages);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
H A D | walloc.h | 93 @param addr The base vaddr of the allocated window. 96 void walloc_free(uint32_t addr, int npages);
|
/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/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | pmic.h | 39 * @param[in] addr The slave address of the device 43 int pmic_init(i2c_bus_t* i2c, int addr, pmic_t* pmic);
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | pmic.h | 39 * @param[in] addr The slave address of the device 43 int pmic_init(i2c_bus_t* i2c, int addr, pmic_t* pmic);
|
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
H A D | machine.h | 32 void lockTLBEntryCritical(unsigned int addr, unsigned int x, unsigned int y);
|