1 files changed, 1 insertions, 1 deletions
diff --git a/dev/kernel/FirmwareKit/EFI/EFI.h b/dev/kernel/FirmwareKit/EFI/EFI.h
index ed22f1e9..97e3ad01 100644
--- a/dev/kernel/FirmwareKit/EFI/EFI.h
+++ b/dev/kernel/FirmwareKit/EFI/EFI.h
@@ -664,7 +664,7 @@ typedef struct EfiSystemTable {
   /// The configuration table (contains the RSD PTR entry.)
   struct {
     EFI_GUID VendorGUID;
-    VoidPtr VendorTable;
+    VoidPtr  VendorTable;
   } * ConfigurationTable;
 } EfiSystemTable;