ACK: [PATCH] acpi: madt: check GICD's system vector according to mantis 1819 (ACPI 6.2a)

[Colin Ian King]

On 10/10/17 20:53, Alex Hung wrote:
> Signed-off-by: Alex Hung <alex.hung at canonical.com>
> ---
>  src/acpi/madt/madt.c | 12 ++++++++++++
>  1 file changed, 12 insertions(+)
> 
> diff --git a/src/acpi/madt/madt.c b/src/acpi/madt/madt.c
> index a280cc8..3bbaf2f 100644
> --- a/src/acpi/madt/madt.c
> +++ b/src/acpi/madt/madt.c
> @@ -1114,6 +1114,18 @@ static int madt_gicd(fwts_framework *fw,
>  
>  	/* TODO: is the physical base address required to be non-zero? */
>  
> +	if (gicd->system_vector_base)
> +		fwts_failed(fw, LOG_LEVEL_LOW,
> +			    "MADTGICDSystemVectorBaseNonZero",
> +			    "MADT %s system vector base field should be zero, "
> +			    "instead got 0x%" PRIx32 ".",
> +			    madt_sub_names[hdr->type],
> +			    gicd->system_vector_base);
> +	else
> +		fwts_passed(fw,
> +			    "MADT %s system vector base	field is properly set "
> +			    "to zero.", madt_sub_names[hdr->type]);
> +
>  	if (gicd->gic_version != 0 && gicd->gic_version > 4)
>  		fwts_failed(fw, LOG_LEVEL_LOW,
>  			    "SPECMADTGICDVersion",
> 

Acked-by: Colin Ian King <colin.king at canonical.com>