CTASSERT
CTASSERT(sizeof(is_square_mod_11) == 11);
CTASSERT(sizeof(is_square_mod_63) == 63);
CTASSERT(sizeof(is_square_mod_64) == 64);
CTASSERT(sizeof(is_square_mod_65) == 65);
CTASSERT(sizeof(bbuf) == sizeof(bnbuf));
CTASSERT(sizeof(rbuf) == sizeof(bnbuf));
CTASSERT(sizeof(bbuf) == sizeof(bnbuf));
CTASSERT(sizeof(rbuf) == sizeof(bnbuf));
CTASSERT(sizeof(bbuf) == sizeof(bnbuf));
CTASSERT(sizeof(rbuf) == sizeof(bnbuf));
CTASSERT(sizeof(bbuf) == sizeof(bnbuf));
CTASSERT(sizeof(rbuf) == sizeof(bnbuf));
CTASSERT((sizeof(locks) / sizeof(*locks)) == CRYPTO_NUM_LOCKS);
CTASSERT(N_TLS_EXTENSIONS <= (sizeof(uint32_t) * 8));
CTASSERT(sizeof(s->session->master_key) == SSL_MAX_MASTER_KEY_LENGTH);
CTASSERT(sizeof(state_machine) / sizeof(state_machine[0]) ==
#ifndef CTASSERT
CTASSERT(MAXLOGNAME > sizeof(uid_t));
CTASSERT(MAXLOGNAME > sizeof(pwkeynum));
#ifndef CTASSERT
CTASSERT(sizeof(struct mbr) == 512);
#ifndef CTASSERT
CTASSERT(bus_timing_max <= sizeof(uint32_t) * NBBY);
CTASSERT(ACPI_STATE_D0 == PCI_POWERSTATE_D0);
CTASSERT(ACPI_STATE_D1 == PCI_POWERSTATE_D1);
CTASSERT(ACPI_STATE_D2 == PCI_POWERSTATE_D2);
CTASSERT(ACPI_STATE_D3 == PCI_POWERSTATE_D3);
CTASSERT(sizeof(__ret) == 1 || sizeof(__ret) == 2 || \
CTASSERT((CHAR_BIT * sizeof(struct list_head *)) <= 64);
CTASSERT(ATH_BCBUF <= 8);
CTASSERT(sizeof req->SGL >= sizeof tc + MPS_SGC_SIZE);
CTASSERT(sizeof req->SGL >= sizeof tc + MPS_SGC_SIZE);
CTASSERT(sizeof(struct hyperv_reftsc) == PAGE_SIZE);
CTASSERT(sizeof(struct hypercall_postmsg_in) == HYPERCALL_POSTMSGIN_SIZE);
CTASSERT(sizeof(struct vmbus_message) == VMBUS_MSG_SIZE);
CTASSERT(sizeof(struct vmbus_evtflags) == VMBUS_EVTFLAGS_SIZE);
CTASSERT(KERN_SUCCESS == 0);
CTASSERT(sizeof(union nvmm_x64_state_fpu_addr) == 8);
CTASSERT(sizeof(struct nvmm_x64_state_fpu_mmreg) == 16);
CTASSERT(sizeof(struct nvmm_x64_state_fpu_xmmreg) == 16);
CTASSERT(sizeof(struct nvmm_x64_state_fpu) == 512);
CTASSERT(sizeof(struct nvmm_x86_xsave) == 512 + 64);
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));
CTASSERT(sizeof(struct vmcb_ctrl) == 1024);
CTASSERT(sizeof(struct vmcb_segment) == 16);
CTASSERT(sizeof(struct vmcb_state) == 0xC00);
CTASSERT(sizeof(struct vmcb) == PAGE_SIZE);
CTASSERT(offsetof(struct vmcb, state) == 0x400);
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));
CTASSERT(sizeof(cpudata->gprs) == sizeof(state->gprs));
CTASSERT(sizeof(cpudata->drs) == sizeof(state->drs));
CTASSERT(sizeof(cpudata->gxsave.fpu) == sizeof(state->fpu));
CTASSERT(sizeof(struct vmxon) == PAGE_SIZE);
CTASSERT(sizeof(struct vmcs) == PAGE_SIZE);
CTASSERT(VPID_MAX-1 >= NVMM_MAX_MACHINES * NVMM_MAX_VCPUS);
CTASSERT(VTBALLOON_PAGES_PER_REQUEST * sizeof(uint32_t) <= PAGE_SIZE);
CTASSERT(((VTNET_MAX_RX_SEGS - 1) * MCLBYTES) >= VTNET_MAX_RX_SIZE);
CTASSERT(((VTNET_MAX_TX_SEGS - 1) * MCLBYTES) >= VTNET_MAX_MTU);
CTASSERT(NELEM(vmm_guest_sysctl_names) - 1 == VMM_GUEST_LAST);
#ifdef CTASSERT
CTASSERT(powerof2(SBUF_MAXEXTENDSIZE));
CTASSERT(powerof2(SBUF_MAXEXTENDINCR));
CTASSERT(sizeof(struct unr) == sizeof(struct unrb));
CTASSERT(sizeof(struct file *) >= sizeof(int));
CTASSERT(O_LAST_OPCODE <= 256);
CTASSERT((sizeof(struct rtstatistics) & __VM_CACHELINE_MASK) == 0);
CTASSERT(RTAX_DST == 0);
CTASSERT(WG_KEY_SIZE >= NOISE_PUBLIC_KEY_LEN);
CTASSERT(WG_KEY_SIZE >= NOISE_SYMMETRIC_KEY_LEN);
#ifdef CTASSERT
CTASSERT(sizeof(struct carp_header) == 36);
CTASSERT((sizeof(struct ip_stats) & __VM_CACHELINE_MASK) == 0);
CTASSERT(powerof2(TCBHASHSIZE));
#ifdef CTASSERT
CTASSERT(sizeof(struct md5_add) == 28);
CTASSERT((sizeof(struct tcp_stats) & __VM_CACHELINE_MASK) == 0);
CTASSERT(powerof2(UDBHASHSIZE));
CTASSERT((sizeof(struct udpstat) & __VM_CACHELINE_MASK) == 0);
CTASSERT((IEEE80211_KEY_COMMON & IEEE80211_KEY_DEVICE) == 0);
CTASSERT(powerof2(IEEE80211_NODE_HASHSIZE));
CTASSERT(MAX_IEEE_CHAN >= 256);
CTASSERT(TDMA_MAXSLOTS == 2);
CTASSERT(sizeof(struct kerneldumpheader) == 512);
CTASSERT(sizeof(struct kerneldumpheader) == 512);
CTASSERT(sizeof(*vm_page_dump) == 8);
#if defined(_KERNEL) && !defined(CTASSERT)
CTASSERT(SHA256_DIGEST_LENGTH == 32);
#ifndef CTASSERT
#ifdef CTASSERT
CTASSERT(GPT_MIN_HDR_SIZE == 92);
#ifdef CTASSERT
CTASSERT(sizeof(struct gpt_ent) == 128);
CTASSERT(sizeof(struct ktr_info_ ## master ## _ ## name ## _args) <= KTR_BUFSIZE); \
CTASSERT(offsetof(struct pe_optional_header_32_plus, po_size_of_headers) == 60);
CTASSERT(offsetof(struct pe_optional_header_32_plus, po_checksum) == 64);
CTASSERT(offsetof(struct pe_optional_header_32_plus, po_subsystem) == 68);
CTASSERT(offsetof(struct pe_optional_header_32_plus, po_number_of_rva_and_sizes) == 108);
CTASSERT(offsetof(struct pe_section_header, psh_size_of_raw_data) == 16);
CTASSERT(offsetof(struct pe_section_header, psh_pointer_to_raw_data) == 20);
#ifndef CTASSERT
CTASSERT(offsetof(struct pe_optional_header_32, po_size_of_headers) == 60);
CTASSERT(offsetof(struct pe_optional_header_32, po_checksum) == 64);
CTASSERT(offsetof(struct pe_optional_header_32, po_subsystem) == 68);
CTASSERT(offsetof(struct pe_optional_header_32, po_number_of_rva_and_sizes) == 92);