Symbol: INVALID_VADDR
usr/src/uts/i86pc/vm/vm_machdep.c
626
if (INVALID_VADDR(addr))
usr/src/uts/sun4/vm/vm_dep.c
150
if (INVALID_VADDR(addr))