Searched refs:ASSERT64 (Results 1 – 6 of 6) sorted by relevance
68 #define ASSERT64(x) ASSERT(x) macro71 #define ASSERT64(x) macro
84 ASSERT64(id <= UINT32_MAX); in id32_alloc()
1534 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_rd8()1570 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_rd16()1606 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_rd32()1642 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_wr8()1675 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_wr16()1708 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_wr32()
147 ASSERT64(sizeof (struct statvfs) == sizeof (struct statvfs64)); in cstatvfs64()
406 ASSERT64(addr <= (caddr_t)0xffffffff80000000ul || in valid_usr_range()
798 ASSERT64(((uintptr_t)rwcmdp->bufaddr >> 32) == 0); in rwcmd_copyout()