biosemu_dev_get_addr_info(void)
{
int taa_index = 0;
- int i = 0;
struct resource *r;
u8 bus = bios_device.dev->bus->link;
u16 devfn = bios_device.dev->path.pci.devfn;
//dump translate_address_array
printf("translate_address_array: \n");
translate_address_t ta;
+ int i;
for (i = 0; i <= taa_last_entry; i++) {
ta = translate_address_array[i];
printf