/* Print the contents of a SETTINGS structure to the UEFI console. */
STATIC VOID PrintSettings(IN CONST SETTINGS *Settings)
/* Print the contents of a SETTINGS structure to the UEFI console. */
STATIC VOID PrintSettings(IN CONST SETTINGS *Settings)
{
  AsciiPrint (
    "info: SetupMode=%d SecureBoot=%d SecureBootEnable=%d "
    "CustomMode=%d VendorKeys=%d\n",
    Settings->SetupMode,
    Settings->SecureBoot,
    Settings->SecureBootEnable,
    Settings->CustomMode,
    Settings->VendorKeys
    );
}