usr/src/uts/common/os/id32.c

84

ASSERT64(id <= UINT32_MAX);

usr/src/uts/common/syscall/statvfs.c

147

ASSERT64(sizeof (struct statvfs) == sizeof (struct statvfs64));

usr/src/uts/i86pc/io/pci/pci_common.c

1534

ASSERT64(((uintptr_t)addr >> 32) == 0);

usr/src/uts/i86pc/io/pci/pci_common.c

1570

ASSERT64(((uintptr_t)addr >> 32) == 0);

usr/src/uts/i86pc/io/pci/pci_common.c

1606

ASSERT64(((uintptr_t)addr >> 32) == 0);

usr/src/uts/i86pc/io/pci/pci_common.c

1642

ASSERT64(((uintptr_t)addr >> 32) == 0);

usr/src/uts/i86pc/io/pci/pci_common.c

1675

ASSERT64(((uintptr_t)addr >> 32) == 0);

usr/src/uts/i86pc/io/pci/pci_common.c

1708

ASSERT64(((uintptr_t)addr >> 32) == 0);

usr/src/uts/intel/io/dktp/disk/cmdk.c

798

ASSERT64(((uintptr_t)rwcmdp->bufaddr >> 32) == 0);

usr/src/uts/sun4/vm/vm_dep.c

406

ASSERT64(addr <= (caddr_t)0xffffffff80000000ul ||