289 	ASSERT(MUTEX_HELD(&hp->p_hmutex));  in seg_padd_abuck()
290 	ASSERT((struct seg_phash *)hp->p_hnext != hp);  in seg_padd_abuck()
291 	ASSERT((struct seg_phash *)hp->p_hprev != hp);  in seg_padd_abuck()
292 	ASSERT(hp->p_hnext == hp->p_hprev);  in seg_padd_abuck()
293 	ASSERT(!IS_PCP_WIRED(hp->p_hnext));  in seg_padd_abuck()
294 	ASSERT(hp->p_hnext->p_hnext == (struct seg_pcache *)hp);  in seg_padd_abuck()
295 	ASSERT(hp->p_hprev->p_hprev == (struct seg_pcache *)hp);  in seg_padd_abuck()
296 	ASSERT(hp >= seg_phashtab_win &&  in seg_padd_abuck()
306 	ASSERT(lix >= 0 && lix <= 1);  in seg_padd_abuck()
308 		ASSERT(hp->p_halink[lix].p_lprev != NULL);  in seg_padd_abuck()
309 		ASSERT(hp->p_halink[!lix].p_lnext == NULL);  in seg_padd_abuck()
310 		ASSERT(hp->p_halink[!lix].p_lprev == NULL);  in seg_padd_abuck()
314 	ASSERT(hp->p_halink[lix].p_lprev == NULL);  in seg_padd_abuck()
322 		ASSERT(hp->p_halink[!lix].p_lprev != NULL);  in seg_padd_abuck()
326 	ASSERT(hp->p_halink[!lix].p_lprev == NULL);  in seg_padd_abuck()
343 	ASSERT(MUTEX_HELD(&hp->p_hmutex));  in seg_premove_abuck()
344 	ASSERT((struct seg_phash *)hp->p_hnext == hp);  in seg_premove_abuck()
345 	ASSERT((struct seg_phash *)hp->p_hprev == hp);  in seg_premove_abuck()
346 	ASSERT(hp >= seg_phashtab_win &&  in seg_premove_abuck()
350 		ASSERT(seg_pathr_on);  in seg_premove_abuck()
351 		ASSERT(seg_pahcur <= 1);  in seg_premove_abuck()
360 		ASSERT(hp->p_halink[lix].p_lnext != NULL);  in seg_premove_abuck()
361 		ASSERT(hp->p_halink[lix].p_lprev != NULL);  in seg_premove_abuck()
362 		ASSERT(hp->p_halink[!lix].p_lnext == NULL);  in seg_premove_abuck()
363 		ASSERT(hp->p_halink[!lix].p_lprev == NULL);  in seg_premove_abuck()
373 	ASSERT(lix >= 0 && lix <= 1);  in seg_premove_abuck()
380 		ASSERT(hp->p_halink[lix].p_lprev != NULL);  in seg_premove_abuck()
381 		ASSERT(hp->p_halink[!lix].p_lnext == NULL);  in seg_premove_abuck()
382 		ASSERT(hp->p_halink[!lix].p_lprev == NULL);  in seg_premove_abuck()
390 	ASSERT(hp->p_halink[lix].p_lprev == NULL);  in seg_premove_abuck()
400 	ASSERT(hp->p_halink[lix].p_lnext != NULL);  in seg_premove_abuck()
401 	ASSERT(hp->p_halink[lix].p_lprev != NULL);  in seg_premove_abuck()
428 	ASSERT(MUTEX_HELD(&hp->p_hmutex));  in seg_plookup_checkdup()
433 		ASSERT(pcp->p_hashp == hp);  in seg_plookup_checkdup()
435 			ASSERT(!IS_PCP_WIRED(pcp));  in seg_plookup_checkdup()
470 	ASSERT(seg != NULL);  in seg_plookup()
471 	ASSERT(rw == S_READ || rw == S_WRITE);  in seg_plookup()
480 	ASSERT(seg_phashsize_win != 0);  in seg_plookup()
487 		ASSERT(pcp->p_hashp == hp);  in seg_plookup()
489 			ASSERT(IS_PFLAGS_WIRED(flags) == IS_PCP_WIRED(pcp));  in seg_plookup()
536 	ASSERT(seg != NULL);  in seg_pinactive()
537 	ASSERT(rw == S_READ || rw == S_WRITE);  in seg_pinactive()
568 		ASSERT(pcp->p_hashp == hp);  in seg_pinactive()
570 			ASSERT(IS_PFLAGS_WIRED(flags) == IS_PCP_WIRED(pcp));  in seg_pinactive()
571 			ASSERT(pcp->p_active);  in seg_pinactive()
581 				ASSERT(pmtx != NULL);  in seg_pinactive()
582 				ASSERT(!IS_PFLAGS_WIRED(flags));  in seg_pinactive()
598 				ASSERT(callback == pcp->p_callback);  in seg_pinactive()
601 					ASSERT(!IS_PCP_WIRED(pcp));  in seg_pinactive()
602 					ASSERT(pheadp->p_lnext != pheadp);  in seg_pinactive()
603 					ASSERT(pheadp->p_lprev != pheadp);  in seg_pinactive()
687 			ASSERT(keep == 0);  in seg_pinactive()
718 		ASSERT(seg_plocked >= npages);  in seg_pinactive()
721 			ASSERT(seg_plocked_window >= npages);  in seg_pinactive()
742 	ASSERT(seg != NULL);  in seg_pinsert_check()
753 	ASSERT(seg_phashsize_win != 0);  in seg_pinsert_check()
811 	ASSERT(seg != NULL);  in seg_pinsert()
812 	ASSERT(rw == S_READ || rw == S_WRITE);  in seg_pinsert()
813 	ASSERT(rw == S_READ || wlen == len);  in seg_pinsert()
814 	ASSERT(rw == S_WRITE || wlen <= len);  in seg_pinsert()
815 	ASSERT(amp == NULL || wlen == len);  in seg_pinsert()
826 	ASSERT(seg_phashsize_win != 0);  in seg_pinsert()
828 	ASSERT((len & PAGEOFFSET) == 0);  in seg_pinsert()
913 		ASSERT(!IS_PCP_WIRED(pcp) && !pcp->p_active);  in seg_pinsert()
920 		ASSERT(!IS_PFLAGS_WIRED(flags));  in seg_pinsert()
922 		ASSERT(seg_plocked >= npages);  in seg_pinsert()
923 		ASSERT(seg_plocked_window >= npages);  in seg_pinsert()
953 	ASSERT(seg_phashsize_win != 0);  in seg_ppurge_async()
1002 		ASSERT(seg_phashsize_wired != 0);  in seg_ppurge_async()
1017 				ASSERT(IS_PCP_WIRED(pcp));  in seg_ppurge_async()
1018 				ASSERT(pcp->p_hashp ==  in seg_ppurge_async()
1040 	ASSERT(seg_pahcur <= 1);  in seg_ppurge_async()
1048 		ASSERT(hlnextp != NULL);  in seg_ppurge_async()
1065 			ASSERT(!IS_PCP_WIRED(pcp));  in seg_ppurge_async()
1066 			ASSERT(pcp->p_hashp == hp);  in seg_ppurge_async()
1088 			ASSERT(pheadp->p_lnext != pheadp);  in seg_ppurge_async()
1089 			ASSERT(pheadp->p_lprev != pheadp);  in seg_ppurge_async()
1113 				ASSERT(lowmem);  in seg_ppurge_async()
1129 		ASSERT(seg_pathr_on);  in seg_ppurge_async()
1130 		ASSERT(seg_pahcur == !hlix);  in seg_ppurge_async()
1139 		ASSERT(hlinkp != NULL);  in seg_ppurge_async()
1140 		ASSERT(hlinkp->p_lprev != &seg_pahhead[hlix]);  in seg_ppurge_async()
1141 		ASSERT(seg_pahhead[hlix].p_lnext != &seg_pahhead[hlix]);  in seg_ppurge_async()
1142 		ASSERT(seg_pahhead[hlix].p_lprev != &seg_pahhead[hlix]);  in seg_ppurge_async()
1157 	ASSERT(seg_pathr_on);  in seg_ppurge_async()
1170 		ASSERT(!pcp->p_active);  in seg_ppurge_async()
1181 		ASSERT(seg_plocked >= npages);  in seg_ppurge_async()
1182 		ASSERT(seg_plocked_window >= npages_window);  in seg_ppurge_async()
1208 	ASSERT(seg_phashsize_wired != 0);  in seg_ppurge_wiredpp()
1218 			ASSERT(pcp->p_hashp == (struct seg_phash *)hp);  in seg_ppurge_wiredpp()
1219 			ASSERT(IS_PCP_WIRED(pcp));  in seg_ppurge_wiredpp()
1224 				ASSERT(pcp->p_htag0 != NULL);  in seg_ppurge_wiredpp()
1242 			ASSERT(!pcp->p_active);  in seg_ppurge_wiredpp()
1247 			ASSERT(IS_PCP_WIRED(pcp));  in seg_ppurge_wiredpp()
1250 				ASSERT(delcallb_list == NULL);  in seg_ppurge_wiredpp()
1258 	ASSERT(seg_plocked >= npages);  in seg_ppurge_wiredpp()
1280 	ASSERT(seg_phashsize_win != 0);  in seg_ppurge()
1287 	ASSERT(htag0 != NULL);  in seg_ppurge()
1293 			ASSERT(pcp->p_hashp == hp);  in seg_ppurge()
1294 			ASSERT(IS_PCP_WIRED(pcp));  in seg_ppurge()
1313 			ASSERT(seg != NULL);  in seg_ppurge()
1323 			ASSERT(!IS_PCP_WIRED(pcp));  in seg_ppurge()
1324 			ASSERT(pcp->p_htag0 == htag0);  in seg_ppurge()
1331 			ASSERT(plinkp->p_lprev == pheadp);  in seg_ppurge()
1348 		ASSERT(!pcp->p_active);  in seg_ppurge()
1355 	ASSERT(seg_plocked >= npages);  in seg_ppurge()
1358 		ASSERT(seg_plocked_window >= npages);  in seg_ppurge()
1507 	ASSERT(seg_phashsize_win != 0);  in seg_preap()
1652 	ASSERT(seg->s_as && AS_WRITE_HELD(seg->s_as));  in seg_unmap()
1655 	ASSERT(seg->s_data != NULL);  in seg_unmap()
1660 	ASSERT(ret == 0);  in seg_unmap()
1681 	ASSERT(tseg == seg);  in seg_free()
1691 	ASSERT(seg->s_phead.p_lnext == &seg->s_phead);  in seg_free()
1692 	ASSERT(seg->s_phead.p_lprev == &seg->s_phead);  in seg_free()
1709 	ASSERT(seg_pdisabled != 0);  in seg_p_enable()
1728 	ASSERT(seg_pdisabled != 0);  in seg_p_disable()
1736 		ASSERT(seg_phashsize_win != 0);  in seg_p_disable()
1811 	ASSERT(ret == 0);  in seg_pinit_mem_config()