AMD64_MAX_MCTRL
for (i = 0, n = 0; i < PCI_SLOTMAX && n < AMD64_MAX_MCTRL; i++) {
int mctrl[AMD64_MAX_MCTRL];