acpi: Reword PLIC/APLIC namespace requirement (#164)

ACPI_80 requirement is only for systems with either PLIC or APLIC. Reword it to make it clear. Signed-off-by: Sunil V L <[email protected]>
riscv-non-isa · May 20, 2024 · ad843c4 · ad843c4
1 parent 3e9e6b5
commit ad843c4
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/acpi.adoc b/acpi.adoc
@@ -35,10 +35,9 @@ available to an OS loader via the standard `UEFI EFI_GRAPHICS_OUTPUT_PROTOCOL` i
  ** Use `Interface Type` 0x12 (16550-compatible with parameters defined in Generic Address Structure).
  ** There MUST be a matching AML device object with compatible ID `RSCV0003`.
 2+| _See <<acpi-guidance-spcr, additional guidance>>_.
-| [[acpi-namespace-dev]]`ACPI_080` | Depending on the interrupt controller
-implemented by the system, PLIC or APLIC namespace devices MUST be
-present in the ACPI namespace along with MADT entries. <<acpi-ids,
-See RVI ACPI IDs>>.
+| [[acpi-namespace-dev]]`ACPI_080` | PLIC/APLIC namespace devices MUST
+be present in the ACPI namespace whenever corresponding MADT entries are
+present. <<acpi-ids, See RVI ACPI IDs>>.
 2+| _Also see <<acpi-irq-gsb, AML_090>>, <<acpi-irq-dep, AML_100>> and <<acpi-guidance-gsi-namespace, additional guidance>>_.
 |===
 
@@ -86,4 +85,4 @@ cite:[ACPI] Section 6.5.8).
 |===
 
 include::acpi-id.adoc[]
-include::acpi-prop.adoc[]
+include::acpi-prop.adoc[]