Searched refs:ASSERT64 (Results 1 – 8 of 8) sorted by relevance
67 #define ASSERT64(x) ASSERT(x) macro70 #define ASSERT64(x) macro
86 ASSERT64(id <= UINT32_MAX); in id32_alloc()
1505 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_rd8()1541 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_rd16()1577 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_rd32()1613 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_wr8()1646 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_wr16()1679 ASSERT64(((uintptr_t)addr >> 32) == 0); in pci_config_wr32()
149 ASSERT64(sizeof (struct statvfs) == sizeof (struct statvfs64)); in cstatvfs64()
229 ASSERT64(U32CS_SEL == ((KCS_SEL + 16) | 3)); in init_cpu_syscall()230 ASSERT64(UDS_SEL == U32CS_SEL + 8); in init_cpu_syscall()
373 ASSERT64(((uintptr_t)rwcmdp->bufaddr >> 32) == 0); in xdfs_rwcmd_copyout()
391 ASSERT64(addr <= (caddr_t)0xffffffff80000000ul || in valid_usr_range()
834 ASSERT64(((uintptr_t)rwcmdp->bufaddr >> 32) == 0); in rwcmd_copyout()