Searched refs:ttb_entry_t (Results 1 – 2 of 2) sorted by relevance
58 typedef uint32_t ttb_entry_t; /* TTB entry */ typedef157 extern ttb_entry_t pmap_kern_ttb; /* TTB for kernel pmap */
258 ttb_entry_t pmap_kern_ttb;1600 static __inline ttb_entry_t