Searched refs:log2_size (Results 1 – 2 of 2) sorted by relevance
21 l4sigma0_map_kip(l4_cap_idx_t pager, void *adr, unsigned log2_size) in l4sigma0_map_kip() argument28 l4_addr_t addr = (l4_addr_t)adr & (~0ULL << log2_size); in l4sigma0_map_kip()32 b->br[1] = l4_fpage(addr, log2_size, L4_FPAGE_RX).raw; in l4sigma0_map_kip()41 l4_addr_t a = addr + (m->mr[0] & (~0UL << L4_PAGESHIFT) & ((1ULL << log2_size) - 1)); in l4sigma0_map_kip()
100 l4sigma0_map_kip(l4_cap_idx_t sigma0, void *addr, unsigned log2_size);
Completed in 3 milliseconds