linux/drivers/char/tpm/eventlog/acpi.c

// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (C) 2005 IBM Corporation
 *
 * Authors:
 *	Seiji Munetoh <[email protected]>
 *	Stefan Berger <[email protected]>
 *	Reiner Sailer <[email protected]>
 *	Kylene Hall <[email protected]>
 *	Nayna Jain <[email protected]>
 *
 * Maintained by: <[email protected]>
 *
 * Access to the event log extended by the TCG BIOS of PC platform
 */

#include <linux/device.h>
#include <linux/seq_file.h>
#include <linux/fs.h>
#include <linux/security.h>
#include <linux/module.h>
#include <linux/slab.h>
#include <linux/acpi.h>
#include <linux/tpm_eventlog.h>

#include "../tpm.h"
#include "common.h"

struct acpi_tcpa { … };

/* Check that the given log is indeed a TPM2 log. */
static bool tpm_is_tpm2_log(void *bios_event_log, u64 len)
{ … }

/* read binary bios log */
int tpm_read_log_acpi(struct tpm_chip *chip)
{ … }