VM_MAX_KERNEL_ADDRESS
i <= l1pte_index(VM_MAX_KERNEL_ADDRESS); i++)
*vendp = VM_MAX_KERNEL_ADDRESS;
*end = VM_MAX_KERNEL_ADDRESS;
npteds = (VM_MAX_KERNEL_ADDRESS - pmap_maxkvaddr + 1) / PAGE_SIZE;
*end = VM_MAX_KERNEL_ADDRESS;
va >= VM_MAX_KERNEL_ADDRESS)
*endp = VM_MAX_KERNEL_ADDRESS;
if (va >= VM_MAX_KERNEL_ADDRESS)
virtual_end = VM_MAX_KERNEL_ADDRESS; /* last KVA */
if (va >= VM_MAX_KERNEL_ADDRESS)
if (pa != 0 && pa < VM_MAX_KERNEL_ADDRESS)
vaddr_t virtual_end = VM_MAX_KERNEL_ADDRESS;
va >= VM_MAX_KERNEL_ADDRESS)
va >= VM_MAX_KERNEL_ADDRESS)
eva >= VM_MAX_KERNEL_ADDRESS || eva < va)
va >= VM_MAX_KERNEL_ADDRESS)
pv->pv_va >= VM_MAX_KERNEL_ADDRESS)
pv->pv_va >= VM_MAX_KERNEL_ADDRESS)
virtual_end = VM_MAX_KERNEL_ADDRESS;
Sysmapsize = (VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS) /
eva >= VM_MAX_KERNEL_ADDRESS || eva < sva)
pv->pv_va >= VM_MAX_KERNEL_ADDRESS)
eva >= VM_MAX_KERNEL_ADDRESS || eva < sva)
(((va) >= VM_MIN_KERNEL_ADDRESS && (va) < VM_MAX_KERNEL_ADDRESS) || \
((vaddr_t)(va)) < VM_MAX_KERNEL_ADDRESS)
((sva >= VM_MIN_KERNEL_ADDRESS) && (sva < VM_MAX_KERNEL_ADDRESS)))
*end = VM_MAX_KERNEL_ADDRESS;
for (va = VM_MIN_KERNEL_ADDRESS; va < VM_MAX_KERNEL_ADDRESS;
*end = VM_MAX_KERNEL_ADDRESS;
npteds = (VM_MAX_KERNEL_ADDRESS - pmap_maxkvaddr + 1) / PAGE_SIZE;
*end = VM_MAX_KERNEL_ADDRESS;
va >= VM_MAX_KERNEL_ADDRESS)
*vend = VM_MAX_KERNEL_ADDRESS;
KDASSERT(va >= VM_MIN_KERNEL_ADDRESS && va < VM_MAX_KERNEL_ADDRESS);
KDASSERT(va >= VM_MIN_KERNEL_ADDRESS && eva <= VM_MAX_KERNEL_ADDRESS);
*end = VM_MAX_KERNEL_ADDRESS;
if (maxkvaddr >= VM_MAX_KERNEL_ADDRESS) {
(void *)VM_MAX_KERNEL_ADDRESS, (void *)maxkvaddr);
#define VM_KERNEL_SPACE_SIZE (VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)