On 9 April 2015 at 17:00, Laszlo Ersek <ler...@redhat.com> wrote:
> On 04/09/15 15:59, Peter Maydell wrote:
>> On 9 April 2015 at 14:51, Igor Mammedov <imamm...@redhat.com> wrote:
>>> On Thu, 9 Apr 2015 14:27:58 +0100
>>> Peter Maydell <peter.mayd...@linaro.org> wrote:
>>>
>>>> On 9 April 2015 at 14:17, Igor Mammedov <imamm...@redhat.com> wrote:
>>>>> On Thu, 09 Apr 2015 13:50:52 +0100
>>>>> Alex Bennée <alex.ben...@linaro.org> wrote:
>>>>>
>>>>>>
>>>>>> Shannon Zhao <zhaoshengl...@huawei.com> writes:
>>>>>>> + for (i = 0; i < table_offsets->len; ++i) {
>>>>>>> + /* rsdt->table_offset_entry to be filled by Guest linker */
>>>>>>> + bios_linker_loader_add_pointer(linker,
>>>>>>> + ACPI_BUILD_TABLE_FILE,
>>>>>>> + ACPI_BUILD_TABLE_FILE,
>>>>>>> + table_data,
>>>>>>> &rsdt->table_offset_entry[i],
>>>>>>> + sizeof(uint32_t));
>>>>>>
>>>>>> Why are these pointers always 32 bit? Can they ever be 64 bit?
>>>>> Laszlo, can you confirm that UEFI puts APCI tables below 4G address
>>>>> space?
>
> I confirmed that before, in the v2 discussion:
>
> http://thread.gmane.org/gmane.comp.emulators.qemu/316670/focus=317560
>
> But in fact the RSDT / XSDT that QEMU exports for UEFI doesn't matter.
If this table is never used, presumably we should just
not generate it at all, then?
-- PMM
