/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 73 static inline uint16_t omap4_i2c_reg_read(omap4_i2c_dev_t *dev, int addr) argument 75 return *(volatile uint16_t *)(dev->regs + addr); 78 static inline void omap4_i2c_reg_write(omap4_i2c_dev_t *dev, int addr, uint16_t val) argument 80 *(volatile uint16_t *)(dev->regs + addr) = val;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq_gem.h | 125 u32 laddr[4][LADDR_HIGH + 1]; /* 0x8c - Specific1 addr low/high reg */ 138 u32 addr; /* Next descriptor pointer */ member in struct:emac_bd
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | res_msend.c | 58 memcpy(&ns[nns].sin.sin_addr, iplit->addr, 4); 63 memcpy(&ns[nns].sin6.sin6_addr, iplit->addr, 16);
|
/seL4-refos-master/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 304 *addr++ = i;
|
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 85 ret = i2c_slave_init(i2c, addr,
|
/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 215 re->address = cpu_to_fdt64(addr);
|
/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 304 *addr++ = i;
|
H A D | i2c_bitbang.c | 271 i2c_bb_set_self_slave_address(i2c_bus_t *i2c_bus, int addr) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | pmic.c | 81 pmic_init(i2c_bus_t* i2c, int addr, pmic_t* pmic) argument 85 ret = i2c_slave_init(i2c, addr,
|
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
H A D | selfloader.c | 59 sl_roundup_page(int addr) argument 61 return REFOS_PAGE_ALIGN(addr) + ((addr) % REFOS_PAGE_SIZE ? REFOS_PAGE_SIZE : 0);
|
/seL4-refos-master/apps/selfloader/src/ |
H A D | selfloader.c | 59 sl_roundup_page(int addr) argument 61 return REFOS_PAGE_ALIGN(addr) + ((addr) % REFOS_PAGE_SIZE ? REFOS_PAGE_SIZE : 0);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 39 boolean *addr, initvalue; member in struct:Bool_Opt 503 if (boolopt[i].addr) 504 *(boolopt[i].addr) = boolopt[i].initvalue; 2136 if (!boolopt[i].addr) { 2148 *(boolopt[i].addr) = !negated; 2155 || (boolopt[i].addr) == &iflags.DECgraphics 2158 || (boolopt[i].addr) == &iflags.IBMgraphics 2161 || (boolopt[i].addr) == &iflags.MACgraphics 2170 if ((boolopt[i].addr) == &iflags.DECgraphics) 2175 if ((boolopt[i].addr) [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 39 boolean *addr, initvalue; member in struct:Bool_Opt 503 if (boolopt[i].addr) 504 *(boolopt[i].addr) = boolopt[i].initvalue; 2136 if (!boolopt[i].addr) { 2148 *(boolopt[i].addr) = !negated; 2155 || (boolopt[i].addr) == &iflags.DECgraphics 2158 || (boolopt[i].addr) == &iflags.IBMgraphics 2161 || (boolopt[i].addr) == &iflags.MACgraphics 2170 if ((boolopt[i].addr) == &iflags.DECgraphics) 2175 if ((boolopt[i].addr) [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | lwiplib.h | 219 u8_t addr[LEN_MAC_ADDRESS]; /* Ethernet Address */ member in struct:cpsw_switch_param
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 258 .addr = dev->virtio_net_hdr_phys, 265 .addr = phys, 310 .addr = dev->virtio_net_hdr_phys, 321 .addr = phys[i],
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 479 void *addr; member in struct:__anon1 494 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL); 495 if (!args->addr) { 562 plat_config.buffer_addr = args.addr;
|
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | boot.c | 146 if (fb_info && fb_info->addr) { 213 if (fb_info && fb_info->addr) {
|
H A D | ept.c | 972 paddr_t addr = addrFromPPtr(pptr); local 990 if (ept_pte_ptr_get_page_base_address(lu_ret.ptSlot) != addr) { 1010 if (ept_pde_ept_pde_2m_ptr_get_page_base_address(lu_ret.pdSlot) != addr) { 1019 assert(ept_pde_ept_pde_2m_ptr_get_page_base_address(lu_ret.pdSlot + 1) == addr + BIT(21));
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dynlink.c | 86 void *addr; member in struct:dso::funcdesc 158 return (void *)(v - p->loadmap->segs[j].p_vaddr + p->loadmap->segs[j].addr); 528 munmap((void *)dso->loadmap->segs[i].addr, 618 dso->loadmap->segs[i].addr = (size_t)map + 637 map = (void *)dso->loadmap->segs[0].addr; 880 p->funcdescs[i].addr = laddr(p, p->syms[i].st_value); 883 p->funcdescs[i].addr = 0; 1544 app.loadmap->segs[0].addr = (size_t)app.map; 1829 int dladdr(const void *addr, Dl_info *info) argument 1838 p = addr2dso((size_t)addr); [all...] |
/seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1261 word_t addr, fault; local 1264 addr = getHDFAR(); 1265 addr = (addressTranslateS1CPR(addr) & ~MASK(PAGE_BITS)) | (addr & MASK(PAGE_BITS)); 1269 addr = getFAR(); 1286 current_fault = seL4_Fault_VMFault_new(addr, fault, false); 1377 paddr_t addr = addrFromPPtr(pptr); local 1401 if (unlikely(pte_pte_small_ptr_get_address(lu_ret.ptSlot) != addr)) { 1423 if (unlikely(pte_pte_large_ptr_get_address(lu_ret.ptSlot) != addr)) { [all...] |
/seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 933 word_t addr, fault; local 935 addr = getFAR(); 941 addr = GET_PAR_ADDR(ats1e1r(addr)) | (addr & MASK(PAGE_BITS)); 944 current_fault = seL4_Fault_VMFault_new(addr, fault, false); 1327 paddr_t addr; local 1330 addr = pptr_to_paddr((void *)pptr); 1346 pte_ptr_get_page_base_address(lu_ret.ptSlot) == addr) { 1363 pde_pde_large_ptr_get_page_base_address(lu_ret.pdSlot) == addr) { [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | netdev.h | 52 int fecmxc_initialize_multi(bd_t *bis, int dev_id, int phy_id, uint32_t addr);
|
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 417 uint64_t addr; local 419 addr = read_stval(); 424 current_fault = seL4_Fault_VMFault_new(addr, RISCVLoadAccessFault, false); 428 current_fault = seL4_Fault_VMFault_new(addr, RISCVStoreAccessFault, false); 432 current_fault = seL4_Fault_VMFault_new(addr, RISCVInstructionAccessFault, true);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace_internal.h | 30 #define INDEX_FOR_LEVEL(addr, l) ( ( (addr) >> ((l) * VSPACE_LEVEL_BITS + PAGE_BITS_4K)) & MASK(VSPACE_LEVEL_BITS))
|