ASSERT32
ASSERT32(nno <= ULONG_MAX);
ASSERT32((uint64_t)(uintptr_t)vaddr == nn);
ASSERT32((size_t)size_ctl <= UINT32_MAX);
ASSERT32(vmem_ctl <= UINT32_MAX);
ASSERT32(sizeof (struct statvfs) == sizeof (struct statvfs32));
ASSERT32(sizeof (struct statvfs64) == sizeof (struct statvfs64_32));
ASSERT32(userlimit == as->a_userlimit);
ASSERT32(promt->virt_hi == 0 && promt->size_hi == 0);
ASSERT32(promt->virt_hi == 0 && promt->size_hi == 0);