Lines Matching defs:kpmvaddr

1835 	caddr_t		kpmvaddr = hat_kpm_page2va(pp, 1);
1847 	newcolor = addr_to_vcolor(kpmvaddr) != addr_to_vcolor(vaddr);
1855 	if (IS_KPM_ALIAS_RANGE(kpmvaddr)) {
1864 			sfmmu_kpm_demap_small(kpmvaddr);
1922 		sfmmu_kpm_demap_large(kpmvaddr);
1939 		sfmmu_kpm_demap_small(kpmvaddr);
1989 		    "kpmvaddr=%p kp=%p pp=%p",
1990 		    (void *)kpmvaddr, (void *)kp, (void *)pp);
2011 			sfmmu_kpm_demap_small(kpmvaddr);
2181 	caddr_t		kpmvaddr;
2195 	kpmvaddr = hat_kpm_page2va(pp, 1);
2199 		int vcolor = addr_to_vcolor(kpmvaddr);
2216 	if (IS_KPM_ALIAS_RANGE(kpmvaddr)) {
2221 		sfmmu_kpm_demap_small(kpmvaddr);
2260 			sfmmu_kpm_demap_small(kpmvaddr);
2301 		sfmmu_kpm_demap_large(kpmvaddr);
2313 		sfmmu_kpm_demap_small(kpmvaddr);
2340 		    "kpmvaddr=%p kp=%p pp=%p", (void *)kpmvaddr,
2359 	sfmmu_kpm_demap_small(kpmvaddr);