Searched refs:root_pgentry_t (Results 1 – 2 of 2) sorted by relevance
86 typedef l4_pgentry_t root_pgentry_t; typedef
292 extern root_pgentry_t idle_pg_table[ROOT_PAGETABLE_ENTRIES];
Completed in 4 milliseconds