Home | History | Annotate | Download | only in linux

Lines Matching refs:KASSERT

48 	KASSERT(PAGE_SIZE <= size);
49 	KASSERT(0 == (size & (PAGE_SIZE - 1)));
50 	KASSERT(__type_fit(off_t, size));
76 	KASSERT(mapping->diom_va != 0);
85 	KASSERT(!mapping->diom_atomic);
122 	KASSERT(0 == (offset & (PAGE_SIZE - 1)));
123 	KASSERT(PAGE_SIZE <= mapping->size);
124 	KASSERT(offset <= (mapping->size - PAGE_SIZE));
125 	KASSERT(__type_fit(off_t, offset));
129 	KASSERT(va != mapping->diom_va);
135 		KASSERT(cookie != (paddr_t)-1);
150 	KASSERT(mapping->diom_va != va);
163 	KASSERT(0 == (offset & (PAGE_SIZE - 1)));
164 	KASSERT(PAGE_SIZE <= mapping->size);
165 	KASSERT(offset <= (mapping->size - PAGE_SIZE));
166 	KASSERT(__type_fit(off_t, offset));
167 	KASSERT(!mapping->diom_atomic);
172 	KASSERT(cookie != (paddr_t)-1);
186 	KASSERT(mapping->diom_atomic);
187 	KASSERT(mapping->diom_va == (vaddr_t)ptr);