Searched refs:map_area (Results 1 – 2 of 2) sorted by relevance
20 l4sigma0_map_anypage(l4_cap_idx_t pager, l4_addr_t map_area, in l4sigma0_map_anypage() argument33 b->br[1] = l4_fpage(map_area, log2_map_size, L4_FPAGE_RWX).raw; in l4sigma0_map_anypage()
182 L4_CV int l4sigma0_map_anypage(l4_cap_idx_t sigma0, l4_addr_t map_area,
Completed in 3 milliseconds