Searched refs:l4sigma0_new_client (Results 1 – 2 of 2) sorted by relevance
13 l4sigma0_new_client(l4_cap_idx_t pager, l4_cap_idx_t gate) in l4sigma0_new_client() function
206 L4_CV int l4sigma0_new_client(l4_cap_idx_t sigma0, l4_cap_idx_t gate);
Completed in 2 milliseconds