Home
last modified time | relevance | path

Searched refs:log2_size (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/libsigma0/lib/src/
A Dkip.c21 l4sigma0_map_kip(l4_cap_idx_t pager, void *adr, unsigned log2_size) in l4sigma0_map_kip() argument
28 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()
/l4re-core-master/libsigma0/include/
A Dsigma0.h100 l4sigma0_map_kip(l4_cap_idx_t sigma0, void *addr, unsigned log2_size);

Completed in 3 milliseconds