Searched refs:sigma0 (Results 1 – 11 of 11) sorted by relevance
| /l4re-core-master/libsigma0/include/ |
| A D | sigma0.h | 100 l4sigma0_map_kip(l4_cap_idx_t sigma0, void *addr, unsigned log2_size);
131 L4_CV int l4sigma0_map_mem(l4_cap_idx_t sigma0,
156 L4_CV int l4sigma0_map_iomem(l4_cap_idx_t sigma0, l4_addr_t phys,
182 L4_CV int l4sigma0_map_anypage(l4_cap_idx_t sigma0, l4_addr_t map_area,
194 L4_CV void l4sigma0_debug_dump(l4_cap_idx_t sigma0);
206 L4_CV int l4sigma0_new_client(l4_cap_idx_t sigma0, l4_cap_idx_t gate);
|
| A D | Makefile | 4 PKGNAME := sigma0
|
| /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
51 tag = l4_ipc_call(sigma0, utcb, tag, L4_IPC_NEVER); 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/sigma0/server/src/ |
| A D | Makefile | 4 TARGET = sigma0
5 MODE = sigma0
|
| /l4re-core-master/ned/doc/ |
| A D | Aw.lua | 34 sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
|
| /l4re-core-master/libsigma0/doc/ |
| A D | files.cfg | 1 INPUT += l4/sigma0
|
| /l4re-core-master/sigma0/doc/ |
| A D | files.cfg | 1 INPUT += %PKGDIR%/doc/sigma0.dox
|
| /l4re-core-master/l4re_kernel/server/src/ |
| A D | Makefile | 21 MODE = sigma0
|
| /l4re-core-master/ |
| A D | README.md | 6 * sigma0 - the initial memory manager
|
| A D | LICENSE.spdx | 354 PackageName: sigma0
355 SPDXID: SPDXRef-sigma0
356 PackageFileName: ./sigma0
425 Relationship: SPDXRef-l4re-core CONTAINS SPDXRef-sigma0
|
| /l4re-core-master/moe/server/src/ |
| A D | Makefile | 17 MODE = sigma0
|
Completed in 12 milliseconds