AMD64_MAX_MCTRL
pcitag_t mctrl_tag[AMD64_MAX_MCTRL];
for (i = 0, n = 0; i < maxdevs && n < AMD64_MAX_MCTRL; i++) {