drivers/ipmi to lib: Fix misspellings & capitalization issues

Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I926ec4c1c00339209ef656995031026935e52558
Reviewed-on: https://review.coreboot.org/c/coreboot/+/77637
Reviewed-by: Eric Lai <ericllai@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
Martin Roth 2023-09-04 15:37:07 -06:00 committed by Felix Held
commit 3e25f85d68
27 changed files with 43 additions and 43 deletions

View file

@ -647,7 +647,7 @@ void tpm_ppi_acpi_fill_ssdt(const struct device *dev)
/*
* Returns One if the PPI spec supports this functions.
* That doesn't necessarily mean that the firmware implemtents it, or the
* That doesn't necessarily mean that the firmware implements it, or the
* TPM can execute the function.
*
* Arg0: Integer PPI function