Searched refs:Sigma0_cap (Results 1 – 4 of 4) sorted by relevance
/l4re-core-master/moe/server/src/ |
A D | globals.h | 39 Sigma0_cap = L4_BASE_PAGER_CAP, enumerator
|
A D | main.cc | 76 _current_kip = l4sigma0_map_kip(Sigma0_cap, 0, L4_WHOLE_ADDRESS_SPACE); in map_kip() 129 while (!l4sigma0_map_anypage(Sigma0_cap, 0, L4_WHOLE_ADDRESS_SPACE, in find_memory() 252 L4::Cap<L4::Factory>(Sigma0_cap)->create(new_sigma0_cap, L4_PROTO_SIGMA0), in new_sigma0_cap() 507 int err = l4sigma0_map_mem(Sigma0_cap, (l4_addr_t) buf, (l4_addr_t) buf, in init_emergency_memory()
|
A D | vesa_fb.cc | 77 switch (l4sigma0_map_iomem(Sigma0_cap, paddr, vaddr, map_size, 1)) in Vesa_fb()
|
A D | boot_fs.cc | 103 tag = l4_ipc_call(Sigma0_cap, l4_utcb(), tag, L4_IPC_NEVER); in s0_request_ram()
|
Completed in 6 milliseconds