Searched refs:phys (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/libsigma0/lib/src/ |
| A D | mem.c | 20 map_mem(l4_cap_idx_t sigma0, l4_addr_t phys, l4_addr_t virt, l4_addr_t size, in map_mem() argument
29 if ((phys & (d-1)) || (size & (d-1)) || (virt & (d-1))) in map_mem()
35 if ((phys & (d-1)) || (size & (d-1)) || (virt & (d-1))) in map_mem()
38 for (; size>0; phys+=d, size-=d, virt+=d) in map_mem()
46 m->mr[1] = l4_fpage(phys, l, L4_FPAGE_RWX).raw; in map_mem()
70 l4sigma0_map_mem(l4_cap_idx_t sigma0, l4_addr_t phys, l4_addr_t virt, in l4sigma0_map_mem() argument
73 return map_mem(sigma0, phys, virt, size, SIGMA0_REQ_FPAGE_RAM); in l4sigma0_map_mem()
77 l4sigma0_map_iomem(l4_cap_idx_t sigma0, l4_addr_t phys, l4_addr_t virt, in l4sigma0_map_iomem() argument
82 return map_mem(sigma0, phys, virt, size, type); in l4sigma0_map_iomem()
|
| /l4re-core-master/libsigma0/include/ |
| A D | sigma0.h | 132 l4_addr_t phys, l4_addr_t virt, l4_addr_t size);
156 L4_CV int l4sigma0_map_iomem(l4_cap_idx_t sigma0, l4_addr_t phys,
|
| /l4re-core-master/l4re/include/ |
| A D | event.h | 67 char phys[32]; member
|
Completed in 6 milliseconds