Symbol: mcx_ppcnt_rfc3635_count
sys/dev/pci/if_mcx.c
592
CTASSERT((mcx_ppcnt_rfc3635_count * sizeof(uint64_t)) == 0x80);
sys/dev/pci/if_mcx.c
8513
CTASSERT(nitems(mcx_ppcnt_rfc3635_tpl) == mcx_ppcnt_rfc3635_count);