Symbol: AMD64HT_NUM_LDT
sys/arch/amd64/pci/pchb.c
162
for (i = 0; i < AMD64HT_NUM_LDT; i++)
sys/arch/i386/pci/pchb.c
187
for (i = 0; i < AMD64HT_NUM_LDT; i++)