Symbol: mcx_ppcnt_rfc2863_count
sys/dev/pci/if_mcx.c
545
CTASSERT(mcx_ppcnt_rfc2863_count * sizeof(uint64_t) == 0x68);
sys/dev/pci/if_mcx.c
8413
CTASSERT(__arraycount(mcx_ppcnt_rfc2863_tpl) == mcx_ppcnt_rfc2863_count);