308 	MPASS(fs->vp == NULL);  in vm_fault_soft_fast()
375 	MPASS(blockcount_read(&fs->first_object->paging_in_progress) > 0);  in vm_fault_restore_map_lock()
394 	MPASS(m != NULL);  in vm_fault_populate_check_page()
395 	MPASS(vm_page_all_valid(m));  in vm_fault_populate_check_page()
396 	MPASS(vm_page_xbusied(m));  in vm_fault_populate_check_page()
407 	MPASS(first <= last);  in vm_fault_populate_cleanup()
424 	MPASS(fs->object == fs->first_object);  in vm_fault_populate()
426 	MPASS(blockcount_read(&fs->first_object->paging_in_progress) > 0);  in vm_fault_populate()
427 	MPASS(fs->first_object->backing_object == NULL);  in vm_fault_populate()
428 	MPASS(fs->lookup_still_valid);  in vm_fault_populate()
462 	MPASS(pager_first <= pager_last);  in vm_fault_populate()
463 	MPASS(fs->first_pindex <= pager_last);  in vm_fault_populate()
464 	MPASS(fs->first_pindex >= pager_first);  in vm_fault_populate()
465 	MPASS(pager_last < fs->first_object->size);  in vm_fault_populate()
568 				MPASS(rv == KERN_SUCCESS);  in vm_fault_populate()
572 		MPASS(rv == KERN_SUCCESS);  in vm_fault_populate()
626 	MPASS(signo == NULL || ucode != NULL);  in vm_fault_trap()
829 	MPASS((fs->entry->eflags & MAP_ENTRY_GUARD) == 0);  in vm_fault_lookup()
1027 	MPASS(fs->first_m != NULL);  in vm_fault_next()
1053 	MPASS(fs->first_m != NULL);  in vm_fault_zerofill()
1054 	MPASS(fs->m == NULL);  in vm_fault_zerofill()
1082 		MPASS(rv == KERN_SUCCESS || rv == KERN_RESOURCE_SHORTAGE);  in vm_fault_allocate()
1185 	MPASS(rv == KERN_SUCCESS || rv == KERN_RESOURCE_SHORTAGE);  in vm_fault_getpages()