Searched refs:virt (Results 1 – 4 of 4) 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()
50 b->br[1] = l4_fpage(virt, 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/l4sys/include/ |
| A D | memdesc.h | 118 unsigned virt,
199 unsigned virt, in l4_kernel_info_set_mem_desc() argument
203 | (virt ? 0x200 : 0x0); in l4_kernel_info_set_mem_desc()
|
| A D | kip | 163 * \param virt True for virtual memory, false for physical memory,
167 Mem_type t, unsigned char st = 0, bool virt = false) noexcept
169 | (virt ? 0x0200 : 0x0)), _h(end | 0x3ffUL)
222 * \param virt Virtual or physical memory region, defaults to physical
225 Mem_type t, unsigned char st = 0, bool virt = false) noexcept
228 | (virt?0x0200:0x0);
|
| /l4re-core-master/libsigma0/include/ |
| A D | sigma0.h | 132 l4_addr_t phys, l4_addr_t virt, l4_addr_t size);
157 l4_addr_t virt, l4_addr_t size, int cached);
|
Completed in 47 milliseconds