Symbol: CTASSERT
lib/libc/gen/vis.c
152
#ifndef CTASSERT
sys/arch/aarch64/aarch64/cpu_machdep.c
180
CTASSERT(sizeof(ucontext_t) % 16 == 0);
sys/arch/aarch64/aarch64/cpu_machdep.c
182
CTASSERT(sizeof(struct reg) == sizeof(__gregset_t));
sys/arch/aarch64/aarch64/cpu_machdep.c
183
CTASSERT(offsetof(struct reg, r_pc) == _REG_PC * sizeof(__greg_t));
sys/arch/aarch64/aarch64/cpu_machdep.c
184
CTASSERT(offsetof(struct reg, r_sp) == _REG_SP * sizeof(__greg_t));
sys/arch/aarch64/aarch64/cpu_machdep.c
185
CTASSERT(offsetof(struct reg, r_spsr) == _REG_SPSR * sizeof(__greg_t));
sys/arch/aarch64/aarch64/cpu_machdep.c
186
CTASSERT(offsetof(struct reg, r_tpidr) == _REG_TPIDR * sizeof(__greg_t));
sys/arch/aarch64/aarch64/cpu_machdep.c
188
CTASSERT(sizeof(struct fpreg) == sizeof(__fregset_t));
sys/arch/aarch64/aarch64/cpu_machdep.c
189
CTASSERT(offsetof(struct fpreg, fpcr) == offsetof(__fregset_t, __fpcr));
sys/arch/aarch64/aarch64/cpu_machdep.c
190
CTASSERT(offsetof(struct fpreg, fpsr) == offsetof(__fregset_t, __fpsr));
sys/arch/aarch64/aarch64/cpu_machdep.c
85
CTASSERT(SOFTIPLMASK(IPL_NONE) == 0x0000000f);
sys/arch/aarch64/aarch64/cpu_machdep.c
86
CTASSERT(SOFTIPLMASK(IPL_SOFTCLOCK) == 0x0000000e);
sys/arch/aarch64/aarch64/cpu_machdep.c
87
CTASSERT(SOFTIPLMASK(IPL_SOFTBIO) == 0x0000000c);
sys/arch/aarch64/aarch64/cpu_machdep.c
88
CTASSERT(SOFTIPLMASK(IPL_SOFTNET) == 0x00000008);
sys/arch/aarch64/aarch64/cpu_machdep.c
89
CTASSERT(SOFTIPLMASK(IPL_SOFTSERIAL) == 0x00000000);
sys/arch/aarch64/aarch64/exec_machdep.c
98
CTASSERT(sizeof(l->l_proc->p_md.md_march32) ==
sys/arch/aarch64/aarch64/netbsd32_machdep.c
388
CTASSERT(sizeof(ucontext_t) >= sizeof(ucontext32_t));
sys/arch/aarch64/aarch64/pmap.c
398
CTASSERT(sizeof(kpm->pm_stats.wired_count) == sizeof(long));
sys/arch/aarch64/aarch64/pmap.c
399
CTASSERT(sizeof(kpm->pm_stats.resident_count) == sizeof(long));
sys/arch/aarch64/include/asan.h
208
CTASSERT((__MD_SHADOW_SIZE / L0_SIZE) == 64);
sys/arch/algor/algor/machdep.c
168
CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);
sys/arch/alpha/alpha/pmap.c
272
CTASSERT(offsetof(struct pmap, pm_percpu[0]) == COHERENCY_UNIT);
sys/arch/alpha/alpha/pmap.c
273
CTASSERT(PMAP_SIZEOF(ALPHA_MAXPROCS) < ALPHA_PGBYTES);
sys/arch/alpha/alpha/pmap.c
274
CTASSERT(sizeof(struct pmap_percpu) == COHERENCY_UNIT);
sys/arch/amd64/amd64/machdep.c
2253
CTASSERT(sizeof (mcontext_t) == 26 * 8 + 8 + 512);
sys/arch/amd64/include/asan.h
218
CTASSERT((__MD_SHADOW_SIZE / NBPD_L4) == NL4_SLOT_KASAN);
sys/arch/amd64/include/msan.h
173
CTASSERT((__MD_SHADOW_SIZE / NBPD_L4) == NL4_SLOT_KMSAN);
sys/arch/arm/arm32/pmap.c
5987
CTASSERT((PAGE_SIZE % L2_TABLE_SIZE_REAL) == 0);
sys/arch/arm/broadcom/bcm2835_intr.h
37
CTASSERT(PIC_MAXSOURCES >= 96 + (4*32));
sys/arch/arm/broadcom/bcm2835_intr.h
38
CTASSERT(PIC_MAXMAXSOURCES >= 96 + (4*32) + 32);
sys/arch/arm/cortex/gicv3_its.h
52
CTASSERT(__SHIFTOUT(ARM_PCI_INTR_MSI_VEC, ARM_PCI_INTR_MSI_VEC) >= ITS_MAX_EVENTS - 1);
sys/arch/arm/gemini/if_gpn.c
118
CTASSERT((GPN_SOF | GPN_EOF) == GPN_FRAME);
sys/arch/arm/gemini/if_gpn.c
119
CTASSERT((GPN_SOF & GPN_EOF) == 0);
sys/arch/arm/rockchip/rk_v1crypto.c
283
CTASSERT((RK_V1CRYPTO_TRNG_NOUT % 2) == 0);
sys/arch/arm/sunxi/sun8i_crypto.c
1442
CTASSERT(SUN8I_CRYPTO_RNGBYTES <= UINT32_MAX/NBBY);
sys/arch/arm/sunxi/sun8i_crypto.c
1489
CTASSERT(sizeof selftest_input == sizeof selftest_output);
sys/arch/arm/sunxi/sun8i_crypto.c
183
CTASSERT(SUN8I_CRYPTO_MAXDMASIZE <= SUN8I_CRYPTO_MAXDATALEN);
sys/arch/arm/sunxi/sun8i_crypto.c
184
CTASSERT(SUN8I_CRYPTO_MAXDMASEGSIZE <= SUN8I_CRYPTO_MAXSEGLEN);
sys/arch/arm/sunxi/sun8i_crypto.h
161
CTASSERT(sizeof(struct sun8i_crypto_taskdesc) == 44*4);
sys/arch/arm/ti/if_cpsw.c
95
CTASSERT(powerof2(CPSW_NTXDESCS));
sys/arch/arm/ti/if_cpsw.c
96
CTASSERT(powerof2(CPSW_NRXDESCS));
sys/arch/arm/xilinx/zynq7000_clkc.c
124
CTASSERT(clkid_dbg_apb == 47);
sys/arch/evbmips/alchemy/mtx-1.c
76
CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);
sys/arch/evbmips/alchemy/omsal400.c
97
CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);
sys/arch/evbmips/atheros/machdep.c
158
CTASSERT(_BYTE_ORDER == _BIG_ENDIAN);
sys/arch/evbmips/cavium/machdep.c
194
CTASSERT(_BYTE_ORDER == _BIG_ENDIAN);
sys/arch/evbmips/gdium/machdep.c
141
CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);
sys/arch/evbmips/ingenic/machdep.c
90
CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);
sys/arch/evbmips/loongson/machdep.c
246
CTASSERT(_BYTE_ORDER == _LITTLE_ENDIAN);
sys/arch/evbmips/malta/machdep.c
155
CTASSERT((intptr_t)MIPS_PHYS_TO_KSEG1(MALTA_BRKRES) < 0);
sys/arch/evbppc/explora/dev/fb_elb.c
80
CTASSERT(sizeof(rasops_cmap) == CMAP_SIZE * 3);
sys/arch/evbppc/mpc85xx/machdep.c
1214
CTASSERT(offsetof(struct tlb_md_io_ops, md_tlb_mapiodev) == 0);
sys/arch/evbppc/nintendo/dev/di.c
118
CTASSERT(sizeof(struct di_response_inquiry) == 0x20);
sys/arch/evbppc/nintendo/dev/rtcsram.c
69
CTASSERT(sizeof(struct rtcsram_sram) == 64);
sys/arch/evbppc/virtex/dev/tft_ll.c
65
CTASSERT(offsetof(struct ll_tft_control, cd_img) == sizeof(struct cdmac_descr));
sys/arch/hppa/hppa/trap.c
512
CTASSERT(sizeof(register_t) == sizeof(u_int));
sys/arch/ia64/ia64/pmap.c
648
CTASSERT(sizeof(struct pv_chunk) == PAGE_SIZE);
sys/arch/mips/cavium/dev/octeon_rnm.c
248
CTASSERT(sizeof sc->sc_sample == 512);
sys/arch/mips/cavium/dev/octeon_rnm.c
249
CTASSERT(__arraycount(sc->sc_sample) == RNG_FIFO_WORDS);
sys/arch/mips/cavium/octeon_cpunode.c
87
CTASSERT(MAXCPUS <= sizeof(uint64_t) * NBBY);
sys/arch/mips/include/locore.h
819
CTASSERT(sizeof(struct trapframe) % (4*sizeof(mips_reg_t)) == 0);
sys/arch/mips/include/locore.h
842
CTASSERT(sizeof(struct kernframe) % (2*sizeof(mips_reg_t)) == 0);
sys/arch/mips/include/mips3_pte.h
184
CTASSERT(MIPS3_PG_SIZE_TO_MASK(4096) == MIPS3_PG_SIZE_4K);
sys/arch/mips/include/mips3_pte.h
185
CTASSERT(MIPS3_PG_SIZE_TO_MASK(8192) == MIPS3_PG_SIZE_4K);
sys/arch/mips/mips/cpu_subr.c
441
CTASSERT(_R_AST == _REG_AT);
sys/arch/mips/mips/db_interface.c
107
CTASSERT(sizeof(ddb_regs) == sizeof(struct reg));
sys/arch/mips/mips/pmap_machdep.c
143
CTASSERT(MIPS_KSEG0_START < 0);
sys/arch/mips/mips/pmap_machdep.c
144
CTASSERT((intptr_t)MIPS_PHYS_TO_KSEG0(0x1000) < 0);
sys/arch/mips/mips/pmap_machdep.c
145
CTASSERT(MIPS_KSEG1_START < 0);
sys/arch/mips/mips/pmap_machdep.c
146
CTASSERT((intptr_t)MIPS_PHYS_TO_KSEG1(0x1000) < 0);
sys/arch/mips/mips/pmap_machdep.c
147
CTASSERT(MIPS_KSEG2_START < 0);
sys/arch/mips/mips/pmap_machdep.c
148
CTASSERT(MIPS_MAX_MEM_ADDR < 0);
sys/arch/mips/mips/pmap_machdep.c
149
CTASSERT(MIPS_RESERVED_ADDR < 0);
sys/arch/mips/mips/pmap_machdep.c
150
CTASSERT((uint32_t)MIPS_KSEG0_START == 0x80000000);
sys/arch/mips/mips/pmap_machdep.c
151
CTASSERT((uint32_t)MIPS_KSEG1_START == 0xa0000000);
sys/arch/mips/mips/pmap_machdep.c
152
CTASSERT((uint32_t)MIPS_KSEG2_START == 0xc0000000);
sys/arch/mips/mips/pmap_machdep.c
153
CTASSERT((uint32_t)MIPS_MAX_MEM_ADDR == 0xbe000000);
sys/arch/mips/mips/pmap_machdep.c
154
CTASSERT((uint32_t)MIPS_RESERVED_ADDR == 0xbfc80000);
sys/arch/mips/mips/pmap_machdep.c
155
CTASSERT(MIPS_KSEG0_P(MIPS_PHYS_TO_KSEG0(0)));
sys/arch/mips/mips/pmap_machdep.c
156
CTASSERT(MIPS_KSEG1_P(MIPS_PHYS_TO_KSEG1(0)));
sys/arch/mips/mips/pmap_machdep.c
158
CTASSERT(VM_MIN_KERNEL_ADDRESS % NBXSEG == 0);
sys/arch/mips/mips/pmap_machdep.c
160
CTASSERT(VM_MIN_KERNEL_ADDRESS % NBSEG == 0);
sys/arch/mips/mips/process_machdep.c
137
CTASSERT(sizeof(struct fpreg_oabi) <= sizeof(struct fpreg));
sys/arch/mips/mips/syscall.c
178
CTASSERT(sizeof(copyargs[0]) == sizeof(fargs[0]));
sys/arch/mips/mips/syscall.c
220
CTASSERT(sizeof(copy32args[0]) != sizeof(fargs[0]));
sys/arch/mips/mips/vm_machdep.c
117
CTASSERT(__arraycount(l2->l_md.md_upte) >= UPAGES);
sys/arch/newsmips/apbus/if_sn.c
1042
CTASSERT(sizeof(*eh) <= ETHER_MIN_LEN);
sys/arch/powerpc/booke/booke_pmap.c
59
CTASSERT(sizeof(pmap_segtab_t) == NBPG);
sys/arch/powerpc/booke/e500_tlb.c
251
CTASSERT(MAS3_UR == (PTE_xR >> (PTE_RWX_SHIFT - 1)));
sys/arch/powerpc/booke/e500_tlb.c
252
CTASSERT(MAS3_SR == (PTE_xR >> PTE_RWX_SHIFT));
sys/arch/powerpc/ibm4xx/dev/dwcsata.c
168
CTASSERT(sizeof(struct dwcdmac_lli) == 28);
sys/arch/powerpc/include/cpu.h
76
CTASSERT(CPUSAVE_SIZE >= 128);
sys/arch/powerpc/powerpc/fix_unaligned.c
172
CTASSERT(sizeof(insn) == 4); /* It was broken before... */
sys/arch/powerpc/powerpc/powerpc_machdep.c
563
CTASSERT(MAXCPUS <= 32);
sys/arch/powerpc/powerpc/sig_machdep.c
58
CTASSERT((sizeof(siginfo_t) & (CALLFRAMELEN-1)) == 0);
sys/arch/powerpc/powerpc/sig_machdep.c
59
CTASSERT((sizeof(ucontext_t) & (CALLFRAMELEN-1)) == 0);
sys/arch/riscv/include/locore.h
64
CTASSERT(sizeof(label_t) == sizeof(struct faultbuf));
sys/arch/riscv/riscv/cpu_subr.c
79
CTASSERT(N == 1);
sys/arch/riscv/riscv/netbsd32_machdep.c
77
CTASSERT(sizeof(struct reg32) == sizeof(__gregset32_t));
sys/arch/riscv/riscv/netbsd32_machdep.c
78
CTASSERT(sizeof(struct fpreg) == sizeof(__fregset_t));
sys/arch/riscv/riscv/riscv_machdep.c
237
CTASSERT(sizeof(struct reg) == sizeof(__gregset_t));
sys/arch/riscv/riscv/riscv_machdep.c
239
CTASSERT(sizeof(struct fpreg) == sizeof(__fregset_t));
sys/arch/riscv/sifive/fu540_prci.c
63
CTASSERT(num_clkid == 4);
sys/arch/riscv/starfive/jh7110_pcie.c
337
CTASSERT(__arraycount(sc->sc_irq) == 4);
sys/arch/sgimips/hpc/haud.c
128
CTASSERT(PAGE_SIZE == 4096);
sys/arch/sgimips/hpc/haud.c
592
CTASSERT(__arraycount(buf->pages) == __arraycount(req.page_nums));
sys/arch/sgimips/hpc/haudvar.h
112
CTASSERT(sizeof(haud_dsp_buffer_header_t) == 4 * 4);
sys/arch/sgimips/hpc/haudvar.h
173
CTASSERT(sizeof(struct haud_dsp_cmd_register_buffer_req) ==
sys/arch/sgimips/hpc/haudvar.h
183
CTASSERT(sizeof(struct haud_dsp_cmd_register_buffer_resp) == 5 * 4);
sys/arch/sgimips/hpc/haudvar.h
192
CTASSERT(sizeof(struct haud_dsp_cmd_deregister_buffer_req) == 4 * 4);
sys/arch/sgimips/hpc/haudvar.h
200
CTASSERT(sizeof(struct haud_dsp_cmd_deregister_buffer_resp) == 4 * 4);
sys/arch/sgimips/hpc/haudvar.h
217
CTASSERT(sizeof(struct haud_dsp_cmd_set_audio_params_req) == (3 + 7 * 2) * 4);
sys/arch/sgimips/hpc/haudvar.h
225
CTASSERT(sizeof(struct haud_dsp_cmd_set_audio_params_resp) == 4 * 4);
sys/arch/sun3/sun3/machdep.c
138
CTASSERT(sizeof(struct frame) == 76 /* F_t */ + 84 /* F_u */);
sys/arch/x86/x86/cpu.c
1106
CTASSERT(sizeof(smp_data) == 3 * 4);
sys/arch/x86/x86/cpu.c
255
CTASSERT(sizeof(struct pcpu_entry) % PAGE_SIZE == 0);
sys/arch/x86/x86/pmap.c
1710
CTASSERT(NL4_SLOT_DIRECT * NBPD_L4 == MAXPHYSMEM);
sys/arch/x86/x86/pmap.c
1994
CTASSERT(CACHE_LINE_SIZE > sizeof(pt_entry_t));
sys/arch/x86/x86/pmap.c
1995
CTASSERT(CACHE_LINE_SIZE % sizeof(pt_entry_t) == 0);
sys/arch/x86/x86/sys_machdep.c
458
CTASSERT(offsetof(struct cpu_tss, iomap) -
sys/arch/x86/x86/syscall.c
100
CTASSERT(offsetof(struct trapframe, tf_arg9) >=
sys/arch/xen/include/hypervisor.h
144
CTASSERT(sizeof(start_info_t) <= PAGE_SIZE);
sys/arch/xen/include/xenring.h
100
CTASSERT(sizeof(struct blkif_x86_32_request_indirect)
sys/arch/xen/include/xenring.h
102
CTASSERT(sizeof(struct blkif_request_indirect)
sys/arch/xen/xen/xbd_xenbus.c
104
CTASSERT((MAXPHYS <= 2*XBD_MAX_CHUNK));
sys/arch/xen/xen/xbd_xenbus.c
105
CTASSERT(XEN_BSIZE == DEV_BSIZE);
sys/arch/xen/xen/xbdback_xenbus.c
400
CTASSERT(sizeof(struct blkif_request_segment) * VBD_MAX_INDIRECT_SEGMENTS == 128);
sys/arch/xen/xen/xbdback_xenbus.c
78
CTASSERT(XENSHM_MAX_PAGES_PER_REQUEST >= VBD_MAX_INDIRECT_SEGMENTS);
sys/arch/xen/xen/xennetback_xenbus.c
79
CTASSERT(NB_XMIT_PAGES_BATCH >= XEN_NETIF_NR_SLOTS_MIN);
sys/compat/common/if_43.c
258
CTASSERT(maxlen == 16);
sys/compat/common/vfs_syscalls_30.c
373
CTASSERT(FHANDLE_SIZE_COMPAT == sizeof(struct compat_30_fhandle));
sys/compat/linux/arch/aarch64/linux_machdep.c
111
CTASSERT(sizeof(ctx->regs) <= sizeof(uc->uc_mcontext.__gregs));
sys/compat/linux/arch/aarch64/linux_machdep.c
123
CTASSERT(sizeof(fpsimd->vregs) ==
sys/compat/linux/arch/aarch64/linux_machdep.c
65
CTASSERT(sizeof(ctx->regs) <= sizeof(uc.uc_mcontext.__gregs));
sys/compat/linux/arch/aarch64/linux_machdep.c
80
CTASSERT(sizeof(fpsimd->vregs) ==
sys/compat/linux/common/linux_time.c
63
CTASSERT(LINUX_TIMER_ABSTIME == TIMER_ABSTIME);
sys/compat/linux32/arch/aarch64/linux32_machdep.c
155
CTASSERT(__arraycount(vfpregs->__vfp_fstmx) ==
sys/compat/linux32/arch/aarch64/linux32_machdep.c
95
CTASSERT(__arraycount(aux->vfp.ufp.fpregs) ==
sys/compat/linux32/common/linux32_time.c
81
CTASSERT(LINUX_TIMER_ABSTIME == TIMER_ABSTIME);
sys/compat/netbsd32/netbsd32.h
170
CTASSERT(sizeof(netbsd32_uint64) == sizeof(netbsd32_siginfo_uint64));
sys/compat/netbsd32/netbsd32.h
171
CTASSERT(__alignof__(netbsd32_uint64) == __alignof__(netbsd32_siginfo_uint64));
sys/compat/netbsd32/netbsd32_ipc.c
209
CTASSERT(sizeof(struct netbsd32_sembuf) == sizeof(struct sembuf));
sys/compat/netbsd32/netbsd32_signal.c
310
CTASSERT(sizeof(si->_reason._ptrace_state._option._pe_other_pid) ==
sys/compat/netbsd32/netbsd32_signal.c
400
CTASSERT(sizeof(si32->_reason._ptrace_state._option._pe_other_pid) ==
sys/crypto/adiantum/adiantum.c
402
CTASSERT(r*w/8 == 16);
sys/crypto/adiantum/adiantum.c
403
CTASSERT(u/w + 2*s*(r - 1) == 268);
sys/crypto/adiantum/adiantum.c
431
CTASSERT(s == 2);
sys/crypto/aes/aes_ccm.c
136
CTASSERT(SIZE_MAX <= 0xffffffffffffffff);
sys/crypto/cprng_fast/cprng_fast.c
210
CTASSERT(sizeof(seed) <= sizeof(((struct cprng_fast *)0)->buf));
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
1016
CTASSERT(sizeof(actual) == (n)); \
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
141
CTASSERT(sizeof D->V == SEEDLEN_BYTES);
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
149
CTASSERT(sizeof D->C == SEEDLEN_BYTES);
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
179
CTASSERT(sizeof D->V == SEEDLEN_BYTES);
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
188
CTASSERT(sizeof D->C == SEEDLEN_BYTES);
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
82
CTASSERT(0 < NIST_HASH_DRBG_RESEED_INTERVAL);
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
83
CTASSERT(NIST_HASH_DRBG_RESEED_INTERVAL <= INT_MAX);
sys/crypto/nist_hash_drbg/nist_hash_drbg.c
84
CTASSERT(NIST_HASH_DRBG_RESEED_INTERVAL <= ~(~0ull << 48));
sys/dev/acpi/acpi.c
1544
CTASSERT(ACPI_STATE_S0 == 0 && ACPI_STATE_S1 == 1);
sys/dev/acpi/acpi.c
1545
CTASSERT(ACPI_STATE_S2 == 2 && ACPI_STATE_S3 == 3);
sys/dev/acpi/acpi.c
1546
CTASSERT(ACPI_STATE_S4 == 4 && ACPI_STATE_S5 == 5);
sys/dev/acpi/acpi.c
1803
CTASSERT(sizeof(AcpiGpeCount) == sizeof(uint64_t));
sys/dev/acpi/acpi.c
1804
CTASSERT(sizeof(AcpiSciCount) == sizeof(uint64_t));
sys/dev/acpi/acpi_cpu_cstate.c
212
CTASSERT(ACPI_STATE_C0 == 0 && ACPI_STATE_C1 == 1);
sys/dev/acpi/acpi_cpu_cstate.c
213
CTASSERT(ACPI_STATE_C2 == 2 && ACPI_STATE_C3 == 3);
sys/dev/acpi/acpi_cpu_cstate.c
306
CTASSERT(sizeof(struct acpicpu_reg) == 15);
sys/dev/acpi/acpi_cpu_cstate.c
566
CTASSERT(ACPICPU_C_C2_LATENCY_MAX == 100);
sys/dev/acpi/acpi_cpu_cstate.c
567
CTASSERT(ACPICPU_C_C3_LATENCY_MAX == 1000);
sys/dev/acpi/acpi_pmtr.c
201
CTASSERT(__arraycount(sc->sc_cap) == 11);
sys/dev/acpi/acpi_power.c
282
CTASSERT(ACPI_STATE_D0 == 0 && ACPI_STATE_D1 == 1);
sys/dev/acpi/acpi_power.c
283
CTASSERT(ACPI_STATE_D2 == 2 && ACPI_STATE_D3_HOT == 3);
sys/dev/acpi/acpi_power.c
284
CTASSERT(ACPI_STATE_D3_COLD == 4 &&
sys/dev/acpi/hpacel_acpi.c
506
CTASSERT(HPACEL_SENSOR_X == 0);
sys/dev/acpi/hpacel_acpi.c
507
CTASSERT(HPACEL_SENSOR_Y == 1);
sys/dev/acpi/hpacel_acpi.c
508
CTASSERT(HPACEL_SENSOR_Z == 2);
sys/dev/acpi/wmi/wmi_acpi.c
207
CTASSERT(sizeof(struct guid_t) == 20);
sys/dev/acpi/wmi/wmi_hp.c
504
CTASSERT(WMI_HP_SENSOR_WLAN == 0);
sys/dev/acpi/wmi/wmi_hp.c
505
CTASSERT(WMI_HP_SENSOR_BT == 1);
sys/dev/acpi/wmi/wmi_hp.c
506
CTASSERT(WMI_HP_SENSOR_WWAN == 2);
sys/dev/efi.c
419
CTASSERT(EFI_VARNAME_MAXBYTES <= ULONG_MAX);
sys/dev/hyperv/if_hvn.c
2769
CTASSERT(sizeof(sc->sc_rss.rss_key) == sizeof(rss_key));
sys/dev/ic/apple_smc.c
395
CTASSERT(sizeof(key->ask_desc) == 6);
sys/dev/ic/apple_smc.c
442
CTASSERT(sizeof(key->ask_desc) == 6);
sys/dev/ic/apple_smc_fan.c
259
CTASSERT(10 <= (SIZE_MAX / sizeof(sc->sc_fans[0])));
sys/dev/ic/apple_smc_fan.c
380
CTASSERT(10 <= (SIZE_MAX / __arraycount(fan_sensors)));
sys/dev/ic/apple_smc_temp.c
341
CTASSERT(sizeof(edata->desc) >= 4);
sys/dev/ic/bcmgenet.c
61
CTASSERT(MCLBYTES == 2048);
sys/dev/ic/cissreg.h
540
CTASSERT((offsetof(struct ciss_ccb, ccb_cmd) & 0xf) == 0);
sys/dev/ic/dwc_eqos.c
68
CTASSERT(MCLBYTES >= EQOS_RXDMA_SIZE);
sys/dev/ic/tpm.c
610
CTASSERT(sizeof(response.bytes) <= UINT_MAX/(NBBY/2));
sys/dev/ic/tpm.c
71
CTASSERT(sizeof(struct tpm_header) == 10);
sys/dev/ic/tpm.c
748
CTASSERT(sizeof(response.bytes) <= UINT_MAX/(NBBY/2));
sys/dev/lockstat.c
121
CTASSERT(LB_NEVENT <= 3);
sys/dev/lockstat.c
122
CTASSERT(LB_NLOCK <= (7 << LB_LOCK_SHIFT));
sys/dev/lockstat.c
391
CTASSERT((LS_NPROBES & (LS_NPROBES - 1)) == 0);
sys/dev/marvell/if_mvgbe.c
100
CTASSERT(MVGBE_TX_RING_CNT > 1 && MVGBE_TX_RING_NEXT(MVGBE_TX_RING_CNT) ==
sys/dev/marvell/if_mvgbe.c
102
CTASSERT(MVGBE_RX_RING_CNT > 1 && MVGBE_RX_RING_NEXT(MVGBE_RX_RING_CNT) ==
sys/dev/marvell/if_mvgbe.c
2154
CTASSERT(MVGBE_NDFSMT == MVGBE_NDFOMT);
sys/dev/marvell/if_mvxpe.c
2689
CTASSERT(MVXPE_NDFSMT == MVXPE_NDFOMT);
sys/dev/mii/mcommphy.c
108
CTASSERT(__SHIFTOUT_MASK(YT8531_RGMII_RXD_DS_HIMASK) ==
sys/dev/mii/mcommphy.c
110
CTASSERT(__SHIFTOUT_MASK(YT8531_RGMII_RXD_DS_LOMASK) ==
sys/dev/nvmm/nvmm.h
108
CTASSERT(sizeof(struct nvmm_comm_page) <= PAGE_SIZE);
sys/dev/nvmm/x86/nvmm_x86.c
507
CTASSERT(sizeof(struct xsave_header) == 512 + 64);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2057
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
sys/dev/nvmm/x86/nvmm_x86_svm.c
2086
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
sys/dev/nvmm/x86/nvmm_x86_svm.c
2137
CTASSERT(sizeof(cpudata->gfpu.xsh_fxsave) == sizeof(state->fpu));
sys/dev/nvmm/x86/nvmm_x86_svm.c
2198
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
sys/dev/nvmm/x86/nvmm_x86_svm.c
2218
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
sys/dev/nvmm/x86/nvmm_x86_svm.c
2255
CTASSERT(sizeof(cpudata->gfpu.xsh_fxsave) == sizeof(state->fpu));
sys/dev/nvmm/x86/nvmm_x86_svm.c
417
CTASSERT(sizeof(struct vmcb_ctrl) == 1024);
sys/dev/nvmm/x86/nvmm_x86_svm.c
426
CTASSERT(sizeof(struct vmcb_segment) == 16);
sys/dev/nvmm/x86/nvmm_x86_svm.c
474
CTASSERT(sizeof(struct vmcb_state) == 0xC00);
sys/dev/nvmm/x86/nvmm_x86_svm.c
481
CTASSERT(sizeof(struct vmcb) == PAGE_SIZE);
sys/dev/nvmm/x86/nvmm_x86_svm.c
482
CTASSERT(offsetof(struct vmcb, state) == 0x400);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2779
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2820
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2885
CTASSERT(sizeof(cpudata->gfpu.xsh_fxsave) == sizeof(state->fpu));
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2935
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2958
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2998
CTASSERT(sizeof(cpudata->gfpu.xsh_fxsave) == sizeof(state->fpu));
sys/dev/nvmm/x86/nvmm_x86_vmx.c
619
CTASSERT(sizeof(struct vmxon) == PAGE_SIZE);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
637
CTASSERT(sizeof(struct vmcs) == PAGE_SIZE);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
648
CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);
sys/dev/pci/if_aq.c
2953
CTASSERT(sizeof(fw2x_msm_statistics_t) <= sizeof(struct aq_hw_stats_s));
sys/dev/pci/if_aq.c
4231
CTASSERT(AQ_RSS_HASHKEY_SIZE == RSS_KEYSIZE);
sys/dev/pci/if_ena.c
447
CTASSERT(offsetof(struct ena_stats_rx, empty_rx_ring)
sys/dev/pci/if_ena.c
469
CTASSERT(offsetof(struct ena_stats_tx, pcq_drops)
sys/dev/pci/if_ena.c
485
CTASSERT(offsetof(struct ena_stats_dev, admin_q_pause)
sys/dev/pci/if_ena.c
502
CTASSERT(offsetof(struct ena_hw_stats, rx_drops)
sys/dev/pci/if_iwm.c
3175
CTASSERT(__BIT(IWM_BLOCK_2_EXP_SIZE) == IWM_PAGING_BLOCK_SIZE);
sys/dev/pci/if_ixl.c
5108
CTASSERT(__arraycount(regs) <= __arraycount(sc->sc_hmc_entries));
sys/dev/pci/if_ixlvar.h
603
CTASSERT(sizeof(struct ixl_aq_vsi_data) == 128);
sys/dev/pci/if_mcx.c
1100
CTASSERT(offsetof(struct mcx_cap_device, max_indirection) == 0x20);
sys/dev/pci/if_mcx.c
1101
CTASSERT(offsetof(struct mcx_cap_device, flags1) == 0x2c);
sys/dev/pci/if_mcx.c
1102
CTASSERT(offsetof(struct mcx_cap_device, flags2) == 0x30);
sys/dev/pci/if_mcx.c
1103
CTASSERT(offsetof(struct mcx_cap_device, snapshot_log_max_msg) == 0x38);
sys/dev/pci/if_mcx.c
1104
CTASSERT(offsetof(struct mcx_cap_device, flags5) == 0x40);
sys/dev/pci/if_mcx.c
1105
CTASSERT(offsetof(struct mcx_cap_device, flags7) == 0x4c);
sys/dev/pci/if_mcx.c
1106
CTASSERT(offsetof(struct mcx_cap_device, device_frequency_mhz) == 0x98);
sys/dev/pci/if_mcx.c
1107
CTASSERT(offsetof(struct mcx_cap_device, device_frequency_khz) == 0x9c);
sys/dev/pci/if_mcx.c
1108
CTASSERT(sizeof(struct mcx_cap_device) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
124
CTASSERT(ETHER_HDR_LEN + ETHER_VLAN_ENCAP_LEN == MCX_SQ_INLINE_SIZE);
sys/dev/pci/if_mcx.c
1301
CTASSERT(sizeof(struct mcx_eq_ctx) == 64);
sys/dev/pci/if_mcx.c
135
CTASSERT(MCX_MAX_QUEUES * MCX_CQ_DOORBELL_STRIDE < MCX_WQ_DOORBELL_BASE);
sys/dev/pci/if_mcx.c
136
CTASSERT(MCX_MAX_QUEUES * MCX_WQ_DOORBELL_STRIDE <
sys/dev/pci/if_mcx.c
1361
CTASSERT(sizeof(struct mcx_eq_entry) == 64);
sys/dev/pci/if_mcx.c
1564
CTASSERT(sizeof(struct mcx_cq_ctx) == 64);
sys/dev/pci/if_mcx.c
1660
CTASSERT(sizeof(struct mcx_cq_entry) == 64);
sys/dev/pci/if_mcx.c
1687
CTASSERT(sizeof(struct mcx_wq_ctx) == 0xC0);
sys/dev/pci/if_mcx.c
1748
CTASSERT(sizeof(struct mcx_sq_entry) == 64);
sys/dev/pci/if_mcx.c
1983
CTASSERT(sizeof(struct mcx_flow_match) == 512);
sys/dev/pci/if_mcx.c
3736
CTASSERT(sizeof(*mb) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
3778
CTASSERT(MCX_ISSI < NBBY);
sys/dev/pci/if_mcx.c
499
CTASSERT(sizeof(struct mcx_reg_ppcnt) == 256);
sys/dev/pci/if_mcx.c
500
CTASSERT((offsetof(struct mcx_reg_ppcnt, ppcnt_counter_set) %
sys/dev/pci/if_mcx.c
526
CTASSERT(mcx_ppcnt_ieee8023_count * sizeof(uint64_t) == 0x98);
sys/dev/pci/if_mcx.c
545
CTASSERT(mcx_ppcnt_rfc2863_count * sizeof(uint64_t) == 0x68);
sys/dev/pci/if_mcx.c
572
CTASSERT((mcx_ppcnt_rfc2819_count * sizeof(uint64_t)) == 0xa8);
sys/dev/pci/if_mcx.c
594
CTASSERT((mcx_ppcnt_rfc3635_count * sizeof(uint64_t)) == 0x80);
sys/dev/pci/if_mcx.c
6147
CTASSERT(sizeof(*mbin) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
6148
CTASSERT(sizeof(*mbout) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
6219
CTASSERT(sizeof(*mbin) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
6220
CTASSERT(sizeof(*mbout) <= MCX_CMDQ_MAILBOX_DATASIZE*2);
sys/dev/pci/if_mcx.c
6296
CTASSERT(sizeof(*mbin) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
6297
CTASSERT(sizeof(*mbout) <= MCX_CMDQ_MAILBOX_DATASIZE*2);
sys/dev/pci/if_mcx.c
645
CTASSERT(sizeof(struct mcx_reg_mtmp) == 0x20);
sys/dev/pci/if_mcx.c
646
CTASSERT(offsetof(struct mcx_reg_mtmp, mtmp_sensor_name) == 0x18);
sys/dev/pci/if_mcx.c
6513
CTASSERT(sizeof(*mbout) <= MCX_CMDQ_MAILBOX_DATASIZE*2);
sys/dev/pci/if_mcx.c
6574
CTASSERT(sizeof(*mbout) <= MCX_CMDQ_MAILBOX_DATASIZE*2);
sys/dev/pci/if_mcx.c
6635
CTASSERT(sizeof(*ctx) <= MCX_CMDQ_MAILBOX_DATASIZE*2);
sys/dev/pci/if_mcx.c
6694
CTASSERT(sizeof(*ctx) <= MCX_CMDQ_MAILBOX_DATASIZE*2);
sys/dev/pci/if_mcx.c
679
CTASSERT(sizeof(struct mcx_cmd_query_issi_il_out) == MCX_CMDQ_INLINE_DATASIZE);
sys/dev/pci/if_mcx.c
686
CTASSERT(sizeof(struct mcx_cmd_query_issi_mb_out) <= MCX_CMDQ_MAILBOX_DATASIZE);
sys/dev/pci/if_mcx.c
697
CTASSERT(sizeof(struct mcx_cmd_set_issi_in) <= MCX_CMDQ_INLINE_DATASIZE);
sys/dev/pci/if_mcx.c
706
CTASSERT(sizeof(struct mcx_cmd_set_issi_out) <= MCX_CMDQ_INLINE_DATASIZE);
sys/dev/pci/if_mcx.c
742
CTASSERT(sizeof(struct mcx_cmd_manage_pages_in) == MCX_CMDQ_INLINE_DATASIZE);
sys/dev/pci/if_mcx.c
752
CTASSERT(sizeof(struct mcx_cmd_manage_pages_out) == MCX_CMDQ_INLINE_DATASIZE);
sys/dev/pci/if_mcx.c
8396
CTASSERT(__arraycount(mcx_ppcnt_ieee8023_tpl) == mcx_ppcnt_ieee8023_count);
sys/dev/pci/if_mcx.c
8413
CTASSERT(__arraycount(mcx_ppcnt_rfc2863_tpl) == mcx_ppcnt_rfc2863_count);
sys/dev/pci/if_mcx.c
8438
CTASSERT(__arraycount(mcx_ppcnt_rfc2819_tpl) == mcx_ppcnt_rfc2819_count);
sys/dev/pci/if_mcx.c
8458
CTASSERT(__arraycount(mcx_ppcnt_rfc3635_tpl) == mcx_ppcnt_rfc3635_count);
sys/dev/pci/if_wm.c
6026
CTASSERT(sizeof(rss_key) == RSS_KEYSIZE);
sys/dev/pci/igc/igc_evcnt.h
113
CTASSERT(IGC_DRIVER_COUNTERS == igcde_count);
sys/dev/pci/igc/igc_evcnt.h
156
CTASSERT(IGC_QUEUE_COUNTERS == igcqe_count);
sys/dev/pci/igc/igc_evcnt.h
72
CTASSERT(IGC_GLOBAL_COUNTERS == igcge_count);
sys/dev/pci/mfii.c
566
CTASSERT(sizeof(struct mfi_dcmd_frame) <= sizeof(*ccb->ccb_sense));
sys/dev/pci/mfii.c
817
CTASSERT(sizeof(struct mfi_sense) == MFI_SENSE_SIZE);
sys/dev/pci/pciconf.c
105
CTASSERT(PCICONF_RESOURCE_IO < PCICONF_RESOURCE_NTYPES);
sys/dev/pci/pciconf.c
106
CTASSERT(PCICONF_RESOURCE_MEM < PCICONF_RESOURCE_NTYPES);
sys/dev/pci/pciconf.c
107
CTASSERT(PCICONF_RESOURCE_PREFETCHABLE_MEM < PCICONF_RESOURCE_NTYPES);
sys/dev/pci/pvscsi.h
178
CTASSERT(sizeof(struct pvscsi_ring_req_desc) == 128);
sys/dev/pci/pvscsi.h
189
CTASSERT(sizeof(struct pvscsi_ring_cmp_desc) == 32);
sys/dev/pci/qat/qat_hw15var.h
62
CTASSERT(HASH_CONTENT_DESC_SIZE >=
sys/dev/pci/qat/qat_hw15var.h
64
CTASSERT(CIPHER_CONTENT_DESC_SIZE >=
sys/dev/pci/qat/qat_hw15var.h
66
CTASSERT(CONTENT_DESC_MAX_SIZE >=
sys/dev/pci/qat/qat_hw15var.h
69
CTASSERT(QAT_SYM_REQ_PARAMS_SIZE_PADDED >=
sys/dev/pci/qat/qat_hw17var.h
61
CTASSERT(CONTENT_DESC_MAX_SIZE >=
sys/dev/pci/qat/qatvar.h
594
CTASSERT(offsetof(struct qat_sym_cookie,
sys/dev/pci/qat/qatvar.h
596
CTASSERT(offsetof(struct qat_sym_cookie, qsc_buf_list) % QAT_OPTIMAL_ALIGN == 0);
sys/dev/pci/qat/qatvar.h
597
CTASSERT(sizeof(struct buffer_list_desc) == 16);
sys/dev/pci/qat/qatvar.h
655
CTASSERT(offsetof(struct qat_session, qs_dec_desc) % QAT_OPTIMAL_ALIGN == 0);
sys/dev/pci/qat/qatvar.h
656
CTASSERT(offsetof(struct qat_session, qs_enc_desc) % QAT_OPTIMAL_ALIGN == 0);
sys/dev/pci/vio9p.c
87
CTASSERT((PAGE_SIZE) == (VIRTIO_PAGE_SIZE)); /* XXX */
sys/dev/pci/viomb.c
66
CTASSERT((PAGE_SIZE) == (VIRTIO_PAGE_SIZE)); /* XXX */
sys/dev/pci/xmm7360.c
3250
CTASSERT(DEVICE_XNAME_SIZE == IFNAMSIZ);
sys/dev/sequencer.c
1306
CTASSERT(sizeof(seq_event_rec) == SEQ_SYSEX_HDRSIZE);
sys/dev/sysmon/sysmon_envsys.c
528
CTASSERT(SME_CALLOUT_INVALID == 0);
sys/dev/usb/if_athn_usb.c
2963
CTASSERT(sizeof(m) == sizeof(void *));
sys/dev/usb/if_athn_usb.c
642
CTASSERT(sizeof(pipe) == sizeof(void *));
sys/dev/usb/if_athn_usb.c
718
CTASSERT(sizeof(xfer) == sizeof(void *));
sys/dev/usb/if_athn_usb.c
775
CTASSERT(sizeof(xfer) == sizeof(void *));
sys/dev/usb/if_athn_usb.c
810
CTASSERT(sizeof(xfer) == sizeof(void *));
sys/dev/usb/if_athn_usb.c
844
CTASSERT(sizeof(xfer) == sizeof(void *));
sys/dev/usb/if_urtwn.c
731
CTASSERT(sizeof(pipe) == sizeof(void *));
sys/dev/usb/if_urtwn.c
793
CTASSERT(sizeof(xfer) == sizeof(void *));
sys/dev/usb/if_urtwn.c
854
CTASSERT(sizeof(xfer) == sizeof(void *));
sys/dev/usb/ohci.c
2025
CTASSERT(OHCI_ITD_NOFFSET == 8);
sys/dev/usb/uslsareg.h
171
CTASSERT(offsetof(struct slsa_cpr, _reserved8) == 8);
sys/dev/usb/uslsareg.h
172
CTASSERT(offsetof(struct slsa_cpr, _reserved42) == 42);
sys/dev/usb/uslsareg.h
173
CTASSERT(offsetof(struct slsa_cpr, uniProvName[0]) == 60);
sys/dev/usb/uslsareg.h
187
CTASSERT(offsetof(struct slsa_ssr, bReserved) == 18);
sys/dev/usb/uslsareg.h
188
CTASSERT(sizeof(struct slsa_ssr) >= SLSA_RL_GET_COMM_STATUS);
sys/dev/usb/uslsareg.h
211
CTASSERT(sizeof(struct slsa_fcs) == SLSA_RL_SET_FLOW);
sys/dev/usb/uslsareg.h
212
CTASSERT(sizeof(struct slsa_fcs) == SLSA_RL_GET_FLOW);
sys/dev/usb/uslsareg.h
225
CTASSERT(sizeof(struct slsa_scr) == SLSA_RL_SET_CHARS);
sys/dev/usb/uslsareg.h
226
CTASSERT(sizeof(struct slsa_scr) == SLSA_RL_GET_CHARS);
sys/fs/puffs/puffs_vfsops.c
87
CTASSERT(sizeof(struct puffs_kargs) == 3928);
sys/fs/puffs/puffs_vfsops.c
88
CTASSERT(sizeof(struct vattr) == 136);
sys/fs/puffs/puffs_vfsops.c
89
CTASSERT(sizeof(struct puffs_req) == 44);
sys/fs/tmpfs/tmpfs.h
173
CTASSERT(TMPFS_MAXNAMLEN < UINT16_MAX);
sys/kern/kern_condvar.c
287
CTASSERT(INT_MAX/2 < UINT32_MAX);
sys/kern/kern_cpu.c
104
CTASSERT(offsetof(struct cpu_info, ci_data) == 0);
sys/kern/kern_cpu.c
106
CTASSERT(offsetof(struct cpu_info, ci_data) != 0);
sys/kern/kern_descrip.c
1378
CTASSERT(sizeof(fdp->fd_dfdfile[0]) >= sizeof(fdfile_t));
sys/kern/kern_entropy.c
2388
CTASSERT(sizeof(urs->name) == sizeof(rs->name));
sys/kern/kern_entropy.c
2658
CTASSERT(sizeof(rs->name) == sizeof(nstat->name));
sys/kern/kern_entropy.c
2689
CTASSERT(sizeof(rs->name) == sizeof(enstat->name));
sys/kern/kern_entropy.c
2723
CTASSERT(sizeof(rs->name) == sizeof(rndctl->name));
sys/kern/kern_entropy.c
597
CTASSERT(sizeof(seed->digest) == sizeof(digest));
sys/kern/kern_exec.c
1760
CTASSERT(sizeof(*cpp) == sizeof(argc));
sys/kern/kern_lock.c
267
CTASSERT(CACHE_LINE_SIZE >= sizeof(__cpu_simple_lock_t));
sys/kern/kern_sig.c
1650
CTASSERT(sizeof(ksi.ksi_pe_other_pid) == sizeof(ksi.ksi_pe_lwp));
sys/kern/kern_synch.c
1266
CTASSERT(__arraycount(cexp) == __arraycount(avg->ldavg));
sys/kern/kern_time.c
110
CTASSERT(ITIMER_REAL == CLOCK_REALTIME);
sys/kern/kern_time.c
111
CTASSERT(ITIMER_VIRTUAL == CLOCK_VIRTUAL);
sys/kern/kern_time.c
112
CTASSERT(ITIMER_PROF == CLOCK_PROF);
sys/kern/kern_time.c
113
CTASSERT(ITIMER_MONOTONIC == CLOCK_MONOTONIC);
sys/kern/kern_time.c
115
CTASSERT(IS_ITIMER(ITIMER_REAL));
sys/kern/kern_time.c
116
CTASSERT(IS_ITIMER(ITIMER_VIRTUAL));
sys/kern/kern_time.c
117
CTASSERT(IS_ITIMER(ITIMER_PROF));
sys/kern/kern_time.c
118
CTASSERT(IS_ITIMER(ITIMER_MONOTONIC));
sys/kern/kern_time.c
120
CTASSERT(!IS_POSIX_TIMER(ITIMER_REAL));
sys/kern/kern_time.c
121
CTASSERT(!IS_POSIX_TIMER(ITIMER_VIRTUAL));
sys/kern/kern_time.c
122
CTASSERT(!IS_POSIX_TIMER(ITIMER_PROF));
sys/kern/kern_time.c
123
CTASSERT(!IS_POSIX_TIMER(ITIMER_MONOTONIC));
sys/kern/kern_timeout.c
313
CTASSERT(sizeof(callout_impl_t) <= sizeof(callout_t));
sys/kern/kern_uuid.c
49
CTASSERT(sizeof(struct uuid) == 16);
sys/kern/subr_cpu.c
232
CTASSERT(__arraycount(names) >= __arraycount(ci->ci_sibling));
sys/kern/subr_cpufreq.c
100
CTASSERT(CPUFREQ_STATE_ENABLED != 0);
sys/kern/subr_cpufreq.c
101
CTASSERT(CPUFREQ_STATE_DISABLED != 0);
sys/kern/subr_kmem.c
279
CTASSERT(KM_SLEEP == PR_WAITOK);
sys/kern/subr_kmem.c
280
CTASSERT(KM_NOSLEEP == PR_NOWAIT);
sys/kern/subr_pool.c
3134
CTASSERT(POOL_REDZONE_SIZE > 1);
sys/kern/subr_pool.c
317
CTASSERT(offsetof(struct pool_item_header, ph_u2) +
sys/kern/subr_workqueue.c
308
CTASSERT(sizeof(work_impl_t) <= sizeof(struct work));
sys/kern/subr_xcall.c
138
CTASSERT(XC_IPL_MAX <= __arraycount(xc_sihs));
sys/kern/sys_getrandom.c
126
CTASSERT(ENTROPY_CAPACITY <= RANDOM_BUFSIZE);
sys/kern/sys_getrandom.c
127
CTASSERT(sizeof seed <= RANDOM_BUFSIZE);
sys/kern/sys_getrandom.c
181
CTASSERT(RANDOM_BUFSIZE >= 256);
sys/kern/sys_memfd.c
109
CTASSERT(sizeof(memfd_prefix) < NAME_MAX); /* sanity check */
sys/kern/sys_mqueue.c
461
CTASSERT((O_MASK & (MQ_UNLINKED | MQ_RECEIVE)) == 0);
sys/kern/sys_ptrace_common.c
689
CTASSERT(sizeof(ps.pe_other_pid) == sizeof(ps.pe_lwp));
sys/kern/tty_pty.c
555
CTASSERT(TIOCPKT_FLUSHREAD == FREAD);
sys/kern/tty_pty.c
556
CTASSERT(TIOCPKT_FLUSHWRITE == FWRITE);
sys/kern/uipc_mbuf.c
181
CTASSERT(sizeof(struct _m_ext) <= MHLEN);
sys/kern/uipc_mbuf.c
182
CTASSERT(sizeof(struct mbuf) == MSIZE);
sys/kern/uipc_mbuf.c
349
CTASSERT(sizeof(mo_user->mo_name) == sizeof(mo->mo_name));
sys/kern/uipc_mbuf.c
350
CTASSERT(sizeof(mo_user->mo_descr) == sizeof(mo->mo_descr));
sys/kern/vfs_cache.c
221
CTASSERT(sizeof(struct namecache) == 128);
sys/kern/vfs_cache.c
223
CTASSERT(sizeof(struct namecache) == 64);
sys/kern/vfs_cache.c
225
CTASSERT(NC_NLEN_MASK >= MAXPATHLEN);
sys/kern/vfs_subr.c
1473
CTASSERT(VBAD == __arraycount(vttodt_tab) - 1);
sys/kern/vfs_syscalls.c
177
CTASSERT((NOTE_SUBMIT & VQ_MOUNT) == 0);
sys/kern/vfs_syscalls.c
178
CTASSERT((NOTE_SUBMIT & VQ_UNMOUNT) == 0);
sys/kern/vfs_syscalls.c
3173
CTASSERT(F_OK == 0);
sys/kern/vfs_vnops.c
1271
CTASSERT(POSIX_FADV_NORMAL == UVM_ADV_NORMAL);
sys/kern/vfs_vnops.c
1272
CTASSERT(POSIX_FADV_RANDOM == UVM_ADV_RANDOM);
sys/kern/vfs_vnops.c
1273
CTASSERT(POSIX_FADV_SEQUENTIAL == UVM_ADV_SEQUENTIAL);
sys/lib/libkern/entpool.c
463
CTASSERT(127 <= RATE-2);
sys/lib/libkern/entpool.c
503
CTASSERT(127 <= RATE-2);
sys/lib/libkern/entpool.c
521
CTASSERT(127 <= RATE-2);
sys/lib/libkern/entpool.c
552
CTASSERT(127 <= RATE-2);
sys/lib/libkern/libkern.h
258
#ifndef CTASSERT
sys/miscfs/procfs/procfs_linux.c
692
CTASSERT(EMUL_LINUX_KERN_OSTYPE == EMUL_LINUX32_KERN_OSTYPE);
sys/miscfs/procfs/procfs_linux.c
693
CTASSERT(EMUL_LINUX_KERN_OSRELEASE == EMUL_LINUX32_KERN_OSRELEASE);
sys/miscfs/procfs/procfs_linux.c
694
CTASSERT(EMUL_LINUX_KERN_VERSION == EMUL_LINUX32_KERN_VERSION);
sys/net/if_ethersubr.c
168
CTASSERT(sizeof(struct ether_addr) == 6);
sys/net/if_ethersubr.c
169
CTASSERT(sizeof(struct ether_header) == 14);
sys/net/if_gre.c
144
CTASSERT(sizeof(struct gre_h) == 4);
sys/net/if_pppoe.c
545
CTASSERT(sizeof(t) == sizeof(sc->sc_id));
sys/net/if_wg.c
1011
CTASSERT(WG_HASH_LEN == WG_CHAINING_KEY_LEN);
sys/net/if_wg.c
1091
CTASSERT(WG_EPHEMERAL_KEY_LEN == crypto_scalarmult_curve25519_BYTES);
sys/net/if_wg.c
1103
CTASSERT(WG_STATIC_KEY_LEN == crypto_scalarmult_curve25519_BYTES);
sys/net/if_wg.c
1316
CTASSERT(WG_SALT_LEN == crypto_aead_xchacha20poly1305_ietf_NPUBBYTES);
sys/net/if_wg.c
2064
CTASSERT(sizeof(*wgmi) <= MCLBYTES);
sys/net/if_wg.c
2489
CTASSERT(sizeof(*wgmr) <= MCLBYTES);
sys/net/if_wg.c
2646
CTASSERT(sizeof(*wgmc) <= MCLBYTES);
sys/net/if_wg.c
5254
CTASSERT(AF_UNSPEC == 0);
sys/net/lagg/if_lagg_lacp.c
383
CTASSERT(sizeof(ifr->ifr_addr) >= sizeof(addr));
sys/net/nd.c
221
CTASSERT(sizeof(time_t) > sizeof(int));
sys/net/npf/npf_alg_icmp.c
351
CTASSERT(offsetof(struct icmp, icmp_cksum) ==
sys/net/npf/npf_conn.c
134
CTASSERT(PFIL_ALL == (0x001 | 0x002));
sys/net/npf/npf_conn.c
457
CTASSERT(sizeof(con->c_proto) >= sizeof(npc->npc_proto));
sys/net/npf/npf_connkey.c
151
CTASSERT(NPF_MAX_IFMAP < (1U << 18));
sys/net/npf/npf_connkey.c
159
CTASSERT(PFIL_IN == 0x1 || PFIL_OUT == 0x2);
sys/net/npf/npf_nat.c
387
CTASSERT(NPF_SRC == 0 && NPF_DST == 1);
sys/net/npf/npf_nat.c
388
CTASSERT(NPF_FLOW_FORW == NPF_SRC && NPF_FLOW_BACK == NPF_DST);
sys/net/npf/npf_nat.c
698
CTASSERT(NPF_NATIN == PFIL_IN && NPF_NATOUT == PFIL_OUT);
sys/net/npf/npf_portmap.c
85
CTASSERT(sizeof(uint64_t) >= sizeof(uintptr_t));
sys/net/npf/npf_state_tcp.c
108
CTASSERT(TH_FIN == 0x01);
sys/net/npf/npf_state_tcp.c
109
CTASSERT(TH_SYN == 0x02);
sys/net/npf/npf_state_tcp.c
110
CTASSERT(TH_ACK == 0x10);
sys/net/pfil.c
68
CTASSERT(PFIL_IN == 1);
sys/net/pfil.c
69
CTASSERT(PFIL_OUT == 2);
sys/net/rtsock_shared.c
123
CTASSERT(sizeof(struct ifa_xmsghdr) == 20);
sys/net/rtsock_shared.c
143
#define RTS_CTASSERT(x) CTASSERT(x)
sys/net/rtsock_shared.c
144
CTASSERT(sizeof(struct ifa_xmsghdr) == 32);
sys/netinet/if_ether.h
79
#ifdef CTASSERT
sys/netinet/if_ether.h
80
CTASSERT(sizeof(struct ether_arp) == 28);
sys/netinet/ip_icmp.c
311
CTASSERT(ICMP_MINLEN + sizeof(struct ip) <= MCLBYTES);
sys/netinet/tcp_output.c
897
CTASSERT(IPV6_MAXPACKET == IP_MAXPACKET);
sys/netinet/tcp_var.h
172
#ifdef CTASSERT
sys/netinet/tcp_var.h
173
CTASSERT(sizeof(struct tcpiphdr) == 40);
sys/netinet/tcp_vtw.c
259
CTASSERT(CACHE_LINE_SIZE == 32 ||
sys/netinet/tcp_vtw.c
280
CTASSERT(CACHE_LINE_SIZE == 32 ||
sys/netinet/tcp_vtw.c
301
CTASSERT(CACHE_LINE_SIZE == 32 ||
sys/netinet/udp_var.h
44
#ifdef CTASSERT
sys/netinet/udp_var.h
45
CTASSERT(sizeof(struct udpiphdr) == 28);
sys/netinet6/icmp6.c
2079
CTASSERT(sizeof(struct ip6_hdr) + sizeof(struct icmp6_hdr) <= MHLEN);
sys/netipsec/key.c
2163
CTASSERT(PFKEY_ALIGN8(sizeof(struct sadb_msg)) <= MHLEN);
sys/netipsec/key.c
2625
CTASSERT(PFKEY_ALIGN8(sizeof(struct sadb_msg)) <= MCLBYTES);
sys/netipsec/key.c
4240
CTASSERT(PFKEY_ALIGN8(sizeof(struct sadb_msg)) <= MCLBYTES);
sys/netipsec/key.c
5481
CTASSERT(PFKEY_ALIGN8(sizeof(struct sadb_msg)) +
sys/nfs/nfsm_subs.h
485
CTASSERT(NFSX_V3FHMAX <= FHANDLE_SIZE_MAX); \
sys/nfs/nfsm_subs.h
492
CTASSERT(NFSX_V2FH >= FHANDLE_SIZE_MIN); \
sys/opencrypto/cryptosoft.c
931
CTASSERT(SHA1_DIGEST_LENGTH >= MD5_DIGEST_LENGTH);
sys/rump/dev/lib/libpci/rumpdev_pci.c
61
CTASSERT(sizeof(pt) >= sizeof(int));
sys/rump/dev/lib/libugenhc/ugenhc.c
131
CTASSERT(UGENDEV_BUFSIZE > sizeof(UGENDEV_BASESTR)+sizeof("0.00")+1);
sys/rump/librump/rumpkern/locks.c
115
CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
sys/rump/librump/rumpkern/locks.c
246
CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
sys/rump/librump/rumpkern/locks.c
368
CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
sys/rump/librump/rumpkern/locks_up.c
185
CTASSERT(sizeof(krwlock_t) >= sizeof(void *));
sys/rump/librump/rumpkern/locks_up.c
331
CTASSERT(sizeof(kcondvar_t) >= sizeof(void *));
sys/rump/librump/rumpkern/locks_up.c
70
CTASSERT(sizeof(kmutex_t) >= sizeof(void *));
sys/rump/librump/rumpkern/rump_syscalls.c
8708
CTASSERT(__arraycount(rump_sysent) == SYS_NSYSENT);
sys/rump/librump/rumpkern/vm.c
347
CTASSERT(sizeof(buf) >= HUMANIZE_BYTES);
sys/rump/librump/rumpvfs/rumpfs.c
2005
CTASSERT(RUMP_ETFS_SIZE_ENDOFF == RUMPBLK_SIZENOTSET);
sys/sys/atomic.h
428
CTASSERT(sizeof(*(p)) <= __ATOMIC_SIZE_MAX); \
sys/sys/systm.h
204
CTASSERT(sizeof(src) < 32); \
sys/ufs/ext2fs/ext2fs_inode.c
93
CTASSERT(EXT2FS_NDADDR == UFS_NDADDR);
sys/ufs/ext2fs/ext2fs_inode.c
94
CTASSERT(EXT2FS_NIADDR == UFS_NIADDR);
sys/ufs/lfs/lfs_segment.c
2464
CTASSERT(sizeof(struct dlfs) == sizeof(struct dlfs64));
sys/ufs/lfs/ulfs_quota2.c
1300
CTASSERT(QUOTA_IDTYPE_USER == ULFS_USRQUOTA);
sys/ufs/lfs/ulfs_quota2.c
1301
CTASSERT(QUOTA_IDTYPE_GROUP == ULFS_GRPQUOTA);
sys/ufs/lfs/ulfs_quota2.c
1302
CTASSERT(QUOTA_OBJTYPE_BLOCKS == QL_BLOCK);
sys/ufs/lfs/ulfs_quota2.c
1303
CTASSERT(QUOTA_OBJTYPE_FILES == QL_FILE);
sys/ufs/lfs/ulfs_quota2.c
1393
CTASSERT(sizeof(*cursor) <= sizeof(qkc->u.qkc_space));
sys/ufs/lfs/ulfs_quota2.c
590
CTASSERT(QUOTA_IDTYPE_USER == ULFS_USRQUOTA);
sys/ufs/lfs/ulfs_quota2.c
591
CTASSERT(QUOTA_IDTYPE_GROUP == ULFS_GRPQUOTA);
sys/ufs/lfs/ulfs_quota2.c
732
CTASSERT(QUOTA_OBJTYPE_BLOCKS == QL_BLOCK);
sys/ufs/lfs/ulfs_quota2.c
733
CTASSERT(QUOTA_OBJTYPE_FILES == QL_FILE);
sys/ufs/lfs/ulfs_quota2.c
87
CTASSERT(QUOTA_OBJTYPE_BLOCKS == QL_BLOCK);
sys/ufs/lfs/ulfs_quota2.c
88
CTASSERT(QUOTA_OBJTYPE_FILES == QL_FILE);
sys/ufs/lfs/ulfs_quota2.c
882
CTASSERT(QL_BLOCK == QUOTA_OBJTYPE_BLOCKS);
sys/ufs/lfs/ulfs_quota2.c
883
CTASSERT(QL_FILE == QUOTA_OBJTYPE_FILES);
sys/ufs/lfs/ulfs_quota2.c
884
CTASSERT(N_QL == 2);
sys/ufs/ufs/ufs_quota2.c
1305
CTASSERT(QUOTA_IDTYPE_USER == USRQUOTA);
sys/ufs/ufs/ufs_quota2.c
1306
CTASSERT(QUOTA_IDTYPE_GROUP == GRPQUOTA);
sys/ufs/ufs/ufs_quota2.c
1307
CTASSERT(QUOTA_OBJTYPE_BLOCKS == QL_BLOCK);
sys/ufs/ufs/ufs_quota2.c
1308
CTASSERT(QUOTA_OBJTYPE_FILES == QL_FILE);
sys/ufs/ufs/ufs_quota2.c
1398
CTASSERT(sizeof(*cursor) <= sizeof(qkc->u.qkc_space));
sys/ufs/ufs/ufs_quota2.c
588
CTASSERT(QUOTA_IDTYPE_USER == USRQUOTA);
sys/ufs/ufs/ufs_quota2.c
589
CTASSERT(QUOTA_IDTYPE_GROUP == GRPQUOTA);
sys/ufs/ufs/ufs_quota2.c
740
CTASSERT(QUOTA_OBJTYPE_BLOCKS == QL_BLOCK);
sys/ufs/ufs/ufs_quota2.c
741
CTASSERT(QUOTA_OBJTYPE_FILES == QL_FILE);
sys/ufs/ufs/ufs_quota2.c
85
CTASSERT(QUOTA_OBJTYPE_BLOCKS == QL_BLOCK);
sys/ufs/ufs/ufs_quota2.c
86
CTASSERT(QUOTA_OBJTYPE_FILES == QL_FILE);
sys/ufs/ufs/ufs_quota2.c
889
CTASSERT(QL_BLOCK == QUOTA_OBJTYPE_BLOCKS);
sys/ufs/ufs/ufs_quota2.c
890
CTASSERT(QL_FILE == QUOTA_OBJTYPE_FILES);
sys/ufs/ufs/ufs_quota2.c
891
CTASSERT(N_QL == 2);
sys/uvm/pmap/pmap.c
202
CTASSERT(PMAP_ASID_RESERVED == 0);
sys/uvm/pmap/pmap_segtab.c
677
CTASSERT(NBPG / sizeof(*stb) == 1);
sys/uvm/uvm_device.c
171
CTASSERT(MIN_PAGE_SIZE >= 2);
usr.sbin/npf/npftest/libnpftest/npf_nbuf_test.c
17
CTASSERT((MBUF_CHAIN_LEN % sizeof(uint32_t)) == 0);