Home
last modified time | relevance | path

Searched refs:l4sigma0_map_kip (Results 1 – 3 of 3) 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() function
/l4re-core-master/libsigma0/include/
A Dsigma0.h100 l4sigma0_map_kip(l4_cap_idx_t sigma0, void *addr, unsigned log2_size);
/l4re-core-master/moe/server/src/
A Dmain.cc76 _current_kip = l4sigma0_map_kip(Sigma0_cap, 0, L4_WHOLE_ADDRESS_SPACE); in map_kip()

Completed in 6 milliseconds