if ((vm_offset_t)va < virtual_avail)
if ((vaddr_t)va < virtual_avail)
kvtop(va)	caddr_t va;{	if ((vm_offset_t)va < virtual_avail)		return (int)va;	else if ((vm_offset_t)va >= HPPA_IOBEGIN)		return (int)va;	else		return (int)pmap_extract(pmap_kernel(), (vm_offset_t)va);}