Lines Matching full:bios_table_cur_addr
450 unsigned long bios_table_cur_addr;
796 bios_table_cur_addr = addr + 8;
797 bios_table_end_addr = bios_table_cur_addr + *(uint32_t *)(addr + 4);
799 bios_table_cur_addr, bios_table_end_addr);
810 if (bios_table_cur_addr == 0)
1127 bios_table_cur_addr = align(bios_table_cur_addr, 16);
1128 mp_config_table = (uint8_t *)bios_table_cur_addr;
1214 bios_table_cur_addr += mp_config_table_size;
1222 bios_table_cur_addr = align(bios_table_cur_addr, 16);
1223 float_pointer_struct = (uint8_t *)bios_table_cur_addr;
1244 bios_table_cur_addr += (q - float_pointer_struct);
1664 bios_table_cur_addr = align(bios_table_cur_addr, 16);
1665 rsdp = (void *)(bios_table_cur_addr);
1666 bios_table_cur_addr += sizeof(*rsdp);
2578 bios_table_cur_addr = align(bios_table_cur_addr, 16);
2579 start = (void *)(bios_table_cur_addr);
2629 bios_table_cur_addr += (p - (char *)start);
2643 if (bios_table_cur_addr == 0)
2645 start = align(bios_table_cur_addr, 16);
2719 if (bios_table_cur_addr != 0) {
2730 BX_INFO("bios_table_cur_addr: 0x%08lx\n", bios_table_cur_addr);
2731 if (bios_table_cur_addr > bios_table_end_addr)
