Searched refs:l4sigma0_map_mem (Results 1 – 3 of 3) sorted by relevance
131 L4_CV int l4sigma0_map_mem(l4_cap_idx_t sigma0,
70 l4sigma0_map_mem(l4_cap_idx_t sigma0, l4_addr_t phys, l4_addr_t virt, in l4sigma0_map_mem() function
507 int err = l4sigma0_map_mem(Sigma0_cap, (l4_addr_t) buf, (l4_addr_t) buf, in init_emergency_memory()
Completed in 4 milliseconds