src/add-ons/kernel/drivers/network/wlan/atheroswifi/dev/ath/if_ath.c

150

CTASSERT(ATH_BCBUF <= 8);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h

289

CTASSERT(sizeof(union nvmm_x64_state_fpu_addr) == 8);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h

295

CTASSERT(sizeof(struct nvmm_x64_state_fpu_mmreg) == 16);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h

299

CTASSERT(sizeof(struct nvmm_x64_state_fpu_xmmreg) == 16);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h

316

CTASSERT(sizeof(struct nvmm_x64_state_fpu) == 512);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h

729

CTASSERT(sizeof(struct nvmm_x86_xsave) == 512 + 64);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1890

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1918

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1982

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2038

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2058

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2098

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

419

CTASSERT(sizeof(struct vmcb_ctrl) == 1024);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

428

CTASSERT(sizeof(struct vmcb_segment) == 16);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

478

CTASSERT(sizeof(struct vmcb_state) == 0xC00);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

485

CTASSERT(sizeof(struct vmcb) == PAGE_SIZE);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

486

CTASSERT(offsetof(struct vmcb, state) == 0x400);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2627

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2668

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2746

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2792

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2815

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2858

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

631

CTASSERT(sizeof(struct vmxon) == PAGE_SIZE);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

653

CTASSERT(sizeof(struct vmcs) == PAGE_SIZE);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

664

CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

349

#ifdef CTASSERT

src/add-ons/kernel/file_systems/ufs2/ufs2.h

350

CTASSERT(sizeof(struct fs) == 1376);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

801

#ifdef CTASSERT

src/add-ons/kernel/file_systems/ufs2/ufs2.h

802

CTASSERT(sizeof(struct jsegrec) == JREC_SIZE);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

803

CTASSERT(sizeof(struct jrefrec) == JREC_SIZE);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

804

CTASSERT(sizeof(struct jmvrec) == JREC_SIZE);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

805

CTASSERT(sizeof(struct jblkrec) == JREC_SIZE);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

806

CTASSERT(sizeof(struct jtrncrec) == JREC_SIZE);

src/add-ons/kernel/file_systems/ufs2/ufs2.h

807

CTASSERT(sizeof(union jrec) == JREC_SIZE);

src/libs/bsd/vis.c

150

#ifndef CTASSERT

src/libs/compat/freebsd_iflib/iflib.c

526

CTASSERT(sizeof(struct if_pkt_info_pad) == sizeof(struct if_pkt_info));

src/libs/compat/freebsd_iflib/iflib.c

527

CTASSERT(sizeof(struct if_rxd_info_pad) == sizeof(struct if_rxd_info));

src/libs/compat/freebsd_network/compat/net/ethernet.h

76

#ifdef CTASSERT

src/libs/compat/freebsd_network/compat/net/ethernet.h

77

CTASSERT(sizeof (struct ether_header) == ETHER_ADDR_LEN * 2 + 2);

src/libs/compat/freebsd_network/compat/net/ethernet.h

78

CTASSERT(sizeof (struct ether_addr) == ETHER_ADDR_LEN);

src/libs/compat/freebsd_network/compat/net/if_llc.h

117

#ifdef CTASSERT

src/libs/compat/freebsd_network/compat/net/if_llc.h

118

CTASSERT(sizeof (struct llc) == LLC_SNAPFRAMELEN);

src/libs/compat/freebsd_network/compat/net/vnet.h

127

CTASSERT((sizeof(type) / sizeof(uint64_t)) == \

src/libs/compat/freebsd_network/compat/net/vnet.h

304

CTASSERT(((access) & CTLTYPE) != 0); \

src/libs/compat/freebsd_network/compat/sys/systm.h

67

#ifndef CTASSERT /* Allow lint to override */

src/libs/compat/freebsd_network/fbsd_subr_sbuf.c

141

CTASSERT(powerof2(SBUF_MAXEXTENDSIZE));

src/libs/compat/freebsd_network/fbsd_subr_sbuf.c

142

CTASSERT(powerof2(SBUF_MAXEXTENDINCR));

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

132

CTASSERT(MSIZE - offsetof(struct mbuf, m_dat) == MLEN);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

133

CTASSERT(MSIZE - offsetof(struct mbuf, m_pktdat) == MHLEN);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

139

CTASSERT(offsetof(struct mbuf, m_dat) % 8 == 0);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

140

CTASSERT(offsetof(struct mbuf, m_pktdat) % 8 == 0);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

155

CTASSERT(offsetof(struct mbuf, m_dat) == 32);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

156

CTASSERT(sizeof(struct pkthdr) == 56);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

157

CTASSERT(sizeof(struct m_ext) == 48);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

159

CTASSERT(offsetof(struct mbuf, m_dat) == 24);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

160

CTASSERT(sizeof(struct pkthdr) == 48);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

161

CTASSERT(sizeof(struct m_ext) == 28);

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

171

CTASSERT(sizeof(m_assertbuf.m_slist) == sizeof(m_assertbuf.m_next));

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

172

CTASSERT(sizeof(m_assertbuf.m_stailq) == sizeof(m_assertbuf.m_next));

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

173

CTASSERT(sizeof(m_assertbuf.m_slistpkt) == sizeof(m_assertbuf.m_nextpkt));

src/libs/compat/freebsd_network/fbsd_uipc_mbuf.c

174

CTASSERT(sizeof(m_assertbuf.m_stailqpkt) == sizeof(m_assertbuf.m_nextpkt));

src/libs/compat/freebsd_wlan/net80211/ieee80211_crypto.c

322

CTASSERT((IEEE80211_KEY_COMMON & IEEE80211_KEY_DEVICE) == 0);

src/libs/compat/freebsd_wlan/net80211/ieee80211_node.c

69

CTASSERT((IEEE80211_NODE_HASHSIZE & (IEEE80211_NODE_HASHSIZE-1)) == 0);

src/libs/compat/freebsd_wlan/net80211/ieee80211_scan_sta.c

102

CTASSERT(MAX_IEEE_CHAN >= 256);

src/libs/compat/freebsd_wlan/net80211/ieee80211_tdma.c

109

CTASSERT(TDMA_MAXSLOTS == 2);

src/libs/compat/openbsd_wlan/net80211/ieee80211_crypto.c

409

CTASSERT(sizeof(struct ieee80211_ptk) >= 48);

src/libs/nvmm/driver/x86/nvmm_x86.h

289

CTASSERT(sizeof(union nvmm_x64_state_fpu_addr) == 8);

src/libs/nvmm/driver/x86/nvmm_x86.h

295

CTASSERT(sizeof(struct nvmm_x64_state_fpu_mmreg) == 16);

src/libs/nvmm/driver/x86/nvmm_x86.h

299

CTASSERT(sizeof(struct nvmm_x64_state_fpu_xmmreg) == 16);

src/libs/nvmm/driver/x86/nvmm_x86.h

316

CTASSERT(sizeof(struct nvmm_x64_state_fpu) == 512);

src/libs/nvmm/driver/x86/nvmm_x86.h

729

CTASSERT(sizeof(struct nvmm_x86_xsave) == 512 + 64);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1890

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1918

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1982

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2038

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2058

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2098

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

419

CTASSERT(sizeof(struct vmcb_ctrl) == 1024);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

428

CTASSERT(sizeof(struct vmcb_segment) == 16);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

478

CTASSERT(sizeof(struct vmcb_state) == 0xC00);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

485

CTASSERT(sizeof(struct vmcb) == PAGE_SIZE);

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

486

CTASSERT(offsetof(struct vmcb, state) == 0x400);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2627

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2668

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2746

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2792

CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2815

CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2858

CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

631

CTASSERT(sizeof(struct vmxon) == PAGE_SIZE);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

653

CTASSERT(sizeof(struct vmcs) == PAGE_SIZE);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

664

CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);