Symbol: mcx_ppcnt_ieee8023_count
sys/dev/pci/if_mcx.c
524
CTASSERT(mcx_ppcnt_ieee8023_count * sizeof(uint64_t) == 0x98);
sys/dev/pci/if_mcx.c
8451
CTASSERT(nitems(mcx_ppcnt_ieee8023_tpl) == mcx_ppcnt_ieee8023_count);