Searched refs:ttb_entry_t (Results 1 – 1 of 1) sorted by relevance
57 typedef uint32_t ttb_entry_t; /* TTB entry */ typedef128 extern ttb_entry_t pmap_kern_ttb; /* TTB for kernel pmap */