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

/freebsd-12-stable/sys/arm/include/
H A Dpmap-v6.h58 typedef uint32_t ttb_entry_t; /* TTB entry */ typedef
157 extern ttb_entry_t pmap_kern_ttb; /* TTB for kernel pmap */
/freebsd-12-stable/sys/arm/arm/
H A Dpmap-v6.c258 ttb_entry_t pmap_kern_ttb;
1600 static __inline ttb_entry_t

Completed in 104 milliseconds