#include <IndustryStandard/Acpi40.h>\r
\r
//\r
-// Define for Desriptor\r
+// Define for Descriptor\r
//\r
#define ACPI_SMALL_FIXED_DMA_DESCRIPTOR_NAME 0x0A\r
#define ACPI_LARGE_GPIO_CONNECTION_DESCRIPTOR_NAME 0x0C\r
///\r
UINT64 ExitBootServicesEntry;\r
///\r
- /// Timer value logged at the point just prior towhen the OS loader gaining\r
+ /// Timer value logged at the point just prior to when the OS loader gaining\r
/// control back from calls the ExitBootServices function for UEFI compatible firmware.\r
/// For non-UEFI compatible boots, this field must be zero.\r
///\r
#define EFI_ACPI_5_0_SOFTWARE_LICENSING_TABLE_SIGNATURE SIGNATURE_32('S', 'L', 'I', 'C')\r
\r
///\r
-/// "SPCR" Serial Port Concole Redirection Table\r
+/// "SPCR" Serial Port Console Redirection Table\r
///\r
#define EFI_ACPI_5_0_SERIAL_PORT_CONSOLE_REDIRECTION_TABLE_SIGNATURE SIGNATURE_32('S', 'P', 'C', 'R')\r
\r