Searched refs:l4sigma0_debug_dump (Results 1 – 2 of 2) sorted by relevance
14 l4sigma0_debug_dump(l4_cap_idx_t pager) in l4sigma0_debug_dump() function
194 L4_CV void l4sigma0_debug_dump(l4_cap_idx_t sigma0);
Completed in 2 milliseconds