956 	x86pte_t pte;  in reload_pae32()  local
1064 	x86pte_t	pte;  in hati_mkpte()  local
1246 hati_sync_pte_to_page(page_t *pp, x86pte_t pte, level_t level)  in hati_sync_pte_to_page()
1300 	x86pte_t	pte,  in hati_pte_map()
1431 	x86pte_t	pte;  in hati_load_common()  local
1505 	x86pte_t	pte;  in hat_kmap_load()  local
2507 	x86pte_t	pte;  in hat_sync()  local
2595 	x86pte_t	pte;  in hat_getattr()  local
2813 		x86pte_t pte;  in hat_getpfnum()  local
2922 	x86pte_t	pte;  in hat_share()  local
3009 				x86pte_t pte;  in hat_share()  local
3963 	x86pte_t	pte;  in hat_mempte_remap()  local
4061 	x86pte_t pte;  in clear_boot_mappings()  local