Home
last modified time | relevance | path

Searched refs:ttb_entry_t (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/arm/include/
H A Dpmap.h57 typedef uint32_t ttb_entry_t; /* TTB entry */ typedef
128 extern ttb_entry_t pmap_kern_ttb; /* TTB for kernel pmap */