Typo arbiration

%s/arbiration/arbitration/ Signed-off-by: Heinrich Schuchardt <[email protected]>
riscv-non-isa · Feb 13, 2024 · 5fc3ac4 · 5fc3ac4
1 parent ee7a232
commit 5fc3ac4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/acpi.adoc b/acpi.adoc
@@ -60,7 +60,7 @@ objects.
 | AML_040 | Per-hart device objects MUST be defined under \_SB (System Bus) namespace and not in the deprecated \_PR (Processors) namespace.
 | AML_050 | Systems supporting OS-directed hart performance control and power management MUST expose these via Collaborative Processor Performance Control (CPPC, cite:[ACPI] Section 8.4.6).
 | AML_060 | Processor idle states must be described using Low Power Idle (LPI, cite:[ACPI] Section 8.4.3).
-| [[acpi-tad]] AML_070 | Systems with a Real-Time Clock on an OS-managed bus (e.g. I2C, subject to arbiration issues due to access to the bus by the OS) MUST implement the Time and Alarm Device (TAD).
+| [[acpi-tad]] AML_070 | Systems with a Real-Time Clock on an OS-managed bus (e.g. I2C, subject to arbitration issues due to access to the bus by the OS) MUST implement the Time and Alarm Device (TAD).
 2+| _Also see <<uefi-rtc, URT_020>>_.
 | AML_080 | Systems implementing a TAD must be functional without additional system-specific OS drivers.
 2+| _In situations where the Time and Alarm Device (TAD) depends on a

diff --git a/uefi.adoc b/uefi.adoc
@@ -62,7 +62,7 @@ See additional <<uefi-rt, requirements under UEFI Runtime Services>>.
 
              * GetTime must be implemented (e.g. in terms of CPU cycle counter).
 	     * SetTime must return EFI_UNSUPPORTED, and be appropriately described in EFI_RT_PROPERTIES_TABLE.
-| [[uefi-rtc]] URT_020 a| Systems with a Real-Time Clock on an OS-managed bus (e.g. I2C, subject to arbiration issues due to access to the bus by the OS) MUST meet the following requirements:
+| [[uefi-rtc]] URT_020 a| Systems with a Real-Time Clock on an OS-managed bus (e.g. I2C, subject to arbitration issues due to access to the bus by the OS) MUST meet the following requirements:
 
              * GetTime and SetTime must return EFI_UNSUPPORTED, when called after the UEFI boot services have been exited.
              * GetTime and SetTime must be appropriately described in EFI_RT_PROPERTIES_TABLE.