Symbol: mcx_ppcnt_rfc2863_count
sys/dev/pci/if_mcx.c
543
CTASSERT(mcx_ppcnt_rfc2863_count * sizeof(uint64_t) == 0x68);
sys/dev/pci/if_mcx.c
8468
CTASSERT(nitems(mcx_ppcnt_rfc2863_tpl) == mcx_ppcnt_rfc2863_count);