/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/ |
H A D | misc_devices.c | 12 .pstart = USB1_PADDR, 21 .pstart = USB3_PADDR, 29 .pstart = SDMMC_PADDR, 37 .pstart = RTC_PADDR, 45 .pstart = DATA_MEMORY_PADDR, 53 .pstart = EXCEPTION_VECTORS_PADDR, 61 .pstart = SYSTEM_REGISTERS_PADDR, 69 .pstart = ICTLR_PADDR, 77 .pstart = APB_MISC_PADDR, 85 .pstart [all...] |
H A D | vclock.c | 13 .pstart = TK1_CLKCAR_PADDR,
|
H A D | vuart.c | 14 .pstart = UARTD_PADDR,
|
H A D | usb.c | 24 .pstart = 0x7d004000, 48 void *vmm_addr = create_device_reservation_frame(vm, dev_usb.pstart, seL4_AllRights, handle_usb_fault, NULL);
|
/seL4-camkes-master/kernel/src/arch/arm/machine/ |
H A D | cache.c | 15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) argument 22 cleanByVA(line, pstart + (line - start)); 26 void cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument 35 cleanCacheRange_PoC(start, end, pstart); 41 plat_cleanInvalidateL2Range(pstart, pstart + (end - start)); 49 cleanInvalByVA(line, pstart + (line - start)); 55 void cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument 60 \<and> \<acute>pstart <= \<acute>pstart 77 cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) argument 93 invalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) argument 135 invalidateCacheRange_I(vptr_t start, vptr_t end, paddr_t pstart) argument 146 branchFlushRange(vptr_t start, vptr_t end, paddr_t pstart) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | misc_devices.c | 12 .pstart = I2C1_PADDR, 21 .pstart = I2C2_PADDR, 30 .pstart = I2C4_PADDR, 38 .pstart = I2C_HDMI_PADDR, 47 .pstart = USB2_HOST_OHCI_PADDR, 56 .pstart = USB2_HOST_EHCI_PADDR, 65 .pstart = USB2_HOST_CTRL_PADDR, 73 .pstart = CHIP_ID_PADDR, 82 .pstart = TV_MIXER_PADDR, 90 .pstart [all...] |
H A D | vsysreg.c | 31 offset = fault_addr - dev->pstart; 50 .pstart = SYSREG_PADDR, 73 sysreg_data->regs = ps_io_map(&vm->io_ops->io_mapper, d->pstart, PAGE_SIZE_4K, 0, PS_MEM_NORMAL); 82 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d->pstart, d->size,
|
H A D | vgpio.c | 53 .pstart = GPIO_LEFT_PADDR, 60 .pstart = GPIO_RIGHT_PADDR, 99 offset = addr - dev->pstart; 204 gpio_device->regs[i] = ps_io_map(&vm->io_ops->io_mapper, dev.pstart, PAGE_SIZE_4K, 0, PS_MEM_NORMAL); 208 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, dev.pstart, dev.size, 211 LOG_INFO("Failed to provide device region 0x%08x->0x%08x", dev.pstart, dev.pstart + dev.size);
|
H A D | vpower.c | 42 vm_offset = fault_addr - dev->pstart; 95 .pstart = ALIVE_PADDR, 125 power_data->regs[i] = ps_io_map(&vm->io_ops->io_mapper, d->pstart + (i << 12), PAGE_SIZE_4K, 0, PS_MEM_NORMAL); 134 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d->pstart, d->size,
|
H A D | vsdhc.c | 43 offset = fault_addr - d->pstart; 99 .pstart = MSH0_PADDR, 106 .pstart = MSH2_PADDR, 139 sdhc_data->regs = create_device_reservation_frame(vm, d->pstart, seL4_CanRead,
|
H A D | vuart.c | 110 offset = fault_addr - dev->pstart; 141 .pstart = UART0_PADDR, 148 .pstart = UART1_PADDR, 155 .pstart = UART2_PADDR, 164 .pstart = UART3_PADDR, 196 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d->pstart, d->size,
|
H A D | vmct.c | 54 offset = fault_addr - dev->pstart; 123 .pstart = MCT_ADDR, 148 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d->pstart, d->size,
|
H A D | vclock.c | 218 .pstart = CMU_CPU_PADDR, 226 .pstart = CMU_CORE_PADDR, 234 .pstart = CMU_ACP_PADDR, 242 .pstart = CMU_ISP_PADDR, 250 .pstart = CMU_TOP_PADDR, 258 .pstart = CMU_CDREX_PADDR, 266 .pstart = CMU_MEM_PADDR,
|
H A D | irq_combiner.c | 152 offset = fault_addr - d->pstart; 214 .pstart = IRQ_COMBINER_PADDR,
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
H A D | vgic.h | 10 uintptr_t pstart; member in struct:vgic_dist_device
|
/seL4-camkes-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 36 void cleanInvalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 37 void cleanCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 38 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart); 39 void invalidateCacheRange_RAM(word_t start, word_t end, paddr_t pstart); 40 void invalidateCacheRange_I(word_t start, word_t end, paddr_t pstart); 41 void branchFlushRange(word_t start, word_t end, paddr_t pstart);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | device.c | 22 return ((const struct device *)a)->pstart - ((const struct device *)b)->pstart; 47 if (addr < curr_dev->pstart) { 51 if (addr < curr_dev->pstart + curr_dev->size) {
|
H A D | device_utils.c | 22 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d.pstart, d.size, 46 for (paddr = d.pstart; paddr - d.pstart < d.size; paddr += 0x1000) { 82 offset = fault_addr - d->pstart; 125 map[i] = ps_io_map(&vm->io_ops->io_mapper, d->pstart + (i << 12), PAGE_SIZE_4K, 0, PS_MEM_NORMAL); 127 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d->pstart, d->size, 146 offset = fault_addr - d->pstart; 166 .pstart = 0x0, 183 d->pstart = addr; 192 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, d->pstart, [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | device.h | 21 * @param {seL4_Word} pstart The physical address of the device 29 seL4_Word pstart; member in struct:device
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | ac_device.c | 30 offset = fault_addr - dev->pstart; 100 gac_device_priv->regs = ps_io_map(&vm->io_ops->io_mapper, d->pstart, PAGE_SIZE_4K, 0, PS_MEM_NORMAL); 111 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, dev->pstart, dev->size,
|
H A D | generic_forward_device.c | 26 uint32_t offset = fault_addr - dev->pstart; 77 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, dev->pstart, dev->size,
|
H A D | vpci.c | 152 uint16_t cfg_port = (fault_addr - dev->pstart) & USHRT_MAX; 180 .pstart = PCI_CFG_REGION_ADDR, 187 .pstart = PCI_IO_REGION_ADDR, 207 vm_memory_reservation_t *cfg_reservation = vm_reserve_memory_at(vm, dev_vpci_cfg.pstart, dev_vpci_cfg.size, 215 vm_memory_reservation_t *cfg_io_reservation = vm_reserve_memory_at(vm, dev_vpci_cfg_io.pstart, dev_vpci_cfg_io.size,
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1806 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument 1814 end = (vptr_t)paddr_to_pptr(pstart) + (end - start); 1815 start = (vptr_t)paddr_to_pptr(pstart); 1820 cleanCacheRange_RAM(start, end, pstart); 1824 invalidateCacheRange_RAM(start, end, pstart); 1828 cleanInvalidateCacheRange_RAM(start, end, pstart); 1834 cleanCacheRange_PoU(start, end, pstart); 1839 invalidateCacheRange_I(start, end, pstart); 1841 branchFlushRange(start, end, pstart); 1853 vptr_t end, paddr_t pstart) 1852 performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument 1978 performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument 2054 paddr_t pstart; local 2456 paddr_t pstart; local [all...] |
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1432 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) argument 1437 cleanCacheRange_RAM(start, end, pstart); 1442 invalidateCacheRange_RAM(start, end, pstart); 1447 cleanInvalidateCacheRange_RAM(start, end, pstart); 1453 cleanCacheRange_PoU(start, end, pstart); 1458 invalidateCacheRange_I(start, end, pstart); 1470 vptr_t start, vptr_t end, paddr_t pstart) 1475 start = (vptr_t)paddr_to_pptr(pstart); 1478 doFlush(invLabel, start, end, pstart); 1486 doFlush(invLabel, start, end, pstart); 1469 performVSpaceFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument 1629 performPageFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, vptr_t start, vptr_t end, paddr_t pstart) argument 1694 paddr_t pstart; local 2245 word_t pstart = pptr_to_paddr((void *)cap_frame_cap_get_capFBasePtr(cap)) + start; local [all...] |
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | upap.c | 606 const u_char *pstart; local 610 pstart = p; 673 return p - pstart;
|