ASSERT64
ASSERT64(id <= UINT32_MAX);
ASSERT64(sizeof (struct statvfs) == sizeof (struct statvfs64));
ASSERT64(((uintptr_t)addr >> 32) == 0);
ASSERT64(((uintptr_t)addr >> 32) == 0);
ASSERT64(((uintptr_t)addr >> 32) == 0);
ASSERT64(((uintptr_t)addr >> 32) == 0);
ASSERT64(((uintptr_t)addr >> 32) == 0);
ASSERT64(((uintptr_t)addr >> 32) == 0);
ASSERT64(((uintptr_t)rwcmdp->bufaddr >> 32) == 0);
ASSERT64(addr <= (caddr_t)0xffffffff80000000ul ||