On Fri, Oct 7, 2022 at 8:16 PM Miguel Luis wrote:
>
> The ACPI GTDT table contains two invalid 64-bit physical addresses according
> to
> the ACPI spec. 6.5 [1]. Those are the Counter Control Base physical address
> and
> the Counter Read Base physical address. Those fields of the GTDT table sho
> On 7 Oct 2022, at 15:21, Ani Sinha wrote:
>
> On Fri, Oct 7, 2022 at 8:16 PM Miguel Luis wrote:
>>
>> The ACPI GTDT table contains two invalid 64-bit physical addresses according
>> to
>> the ACPI spec. 6.5 [1]. Those are the Counter Control Base physical address
>> and
>> the Counter Re
The ACPI GTDT table contains two invalid 64-bit physical addresses according to
the ACPI spec. 6.5 [1]. Those are the Counter Control Base physical address and
the Counter Read Base physical address. Those fields of the GTDT table should be
set to 0x if not provided, rather than 0x0
