Lines Matching defs:va_end
258 vaddr_t va_end;
264 va_end = ROUND_PAGE(va + size);
270 size = va_end - va;
290 if (va_end <= km->vend) {
307 size = va_end - va;
315 va_end >= km_next->vstart) {
316 if (va_end > km_next->vend) {
321 va_end = km_next->vstart;
322 size = va_end - va;
335 km->vstart, va_end);
343 if (va_end >= km->vstart) {
344 va_end = km->vstart;
345 size = va_end - va;
380 km->vend = va_end;
388 km->vend = va_end;
403 km->vend = va_end;