AMD_K7_NUM_IORR
free_iorr_addr = AMD_K7_NUM_IORR;
for (iorr_addr = 0; iorr_addr < AMD_K7_NUM_IORR; iorr_addr++) {
if (iorr_addr >= AMD_K7_NUM_IORR) {
if (iorr_addr >= AMD_K7_NUM_IORR)