Searched refs:pstart (Results 1 - 25 of 32) sorted by relevance

12

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/
H A Dmisc_devices.c12 .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 Dvclock.c13 .pstart = TK1_CLKCAR_PADDR,
H A Dvuart.c14 .pstart = UARTD_PADDR,
H A Dusb.c24 .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 Dcache.c15 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 Dmisc_devices.c12 .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 Dvsysreg.c31 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 Dvgpio.c53 .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 Dvpower.c42 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 Dvsdhc.c43 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 Dvuart.c110 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 Dvmct.c54 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 Dvclock.c218 .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 Dirq_combiner.c152 offset = fault_addr - d->pstart;
214 .pstart = IRQ_COMBINER_PADDR,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.h10 uintptr_t pstart; member in struct:vgic_dist_device
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dmachine.h36 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 Ddevice.c22 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 Ddevice_utils.c22 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 Ddevice.h21 * @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 Dac_device.c30 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 Dgeneric_forward_device.c26 uint32_t offset = fault_addr - dev->pstart;
77 vm_memory_reservation_t *reservation = vm_reserve_memory_at(vm, dev->pstart, dev->size,
H A Dvpci.c152 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 Dvspace.c1806 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 Dvspace.c1432 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 Dupap.c606 const u_char *pstart; local
610 pstart = p;
673 return p - pstart;

Completed in 180 milliseconds

12