| .. | .. |
|---|
| 1 | +/* SPDX-License-Identifier: GPL-2.0-only */ |
|---|
| 1 | 2 | /* |
|---|
| 2 | 3 | * tboot.h: shared data structure with tboot and kernel and functions |
|---|
| 3 | 4 | * used by kernel for runtime support of Intel(R) Trusted |
|---|
| 4 | 5 | * Execution Technology |
|---|
| 5 | 6 | * |
|---|
| 6 | 7 | * Copyright (c) 2006-2009, Intel Corporation |
|---|
| 7 | | - * |
|---|
| 8 | | - * This program is free software; you can redistribute it and/or modify it |
|---|
| 9 | | - * under the terms and conditions of the GNU General Public License, |
|---|
| 10 | | - * version 2, as published by the Free Software Foundation. |
|---|
| 11 | | - * |
|---|
| 12 | | - * This program is distributed in the hope it will be useful, but WITHOUT |
|---|
| 13 | | - * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|---|
| 14 | | - * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
|---|
| 15 | | - * more details. |
|---|
| 16 | | - * |
|---|
| 17 | | - * You should have received a copy of the GNU General Public License along with |
|---|
| 18 | | - * this program; if not, write to the Free Software Foundation, Inc., |
|---|
| 19 | | - * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA. |
|---|
| 20 | | - * |
|---|
| 21 | 8 | */ |
|---|
| 22 | 9 | |
|---|
| 23 | 10 | #ifndef _LINUX_TBOOT_H |
|---|
| .. | .. |
|---|
| 57 | 44 | |
|---|
| 58 | 45 | /* |
|---|
| 59 | 46 | * combines Sx info from FADT and FACS tables per ACPI 2.0+ spec |
|---|
| 60 | | - * (http://www.acpi.info/) |
|---|
| 47 | + * (https://uefi.org/specifications) |
|---|
| 61 | 48 | */ |
|---|
| 62 | 49 | struct tboot_acpi_sleep_info { |
|---|
| 63 | 50 | struct tboot_acpi_generic_address pm1a_cnt_blk; |
|---|
| .. | .. |
|---|
| 134 | 121 | #define TBOOT_UUID {0xff, 0x8d, 0x3c, 0x66, 0xb3, 0xe8, 0x82, 0x4b, 0xbf,\ |
|---|
| 135 | 122 | 0xaa, 0x19, 0xea, 0x4d, 0x5, 0x7a, 0x8} |
|---|
| 136 | 123 | |
|---|
| 137 | | -extern struct tboot *tboot; |
|---|
| 138 | | - |
|---|
| 139 | | -static inline int tboot_enabled(void) |
|---|
| 140 | | -{ |
|---|
| 141 | | - return tboot != NULL; |
|---|
| 142 | | -} |
|---|
| 143 | | - |
|---|
| 124 | +bool tboot_enabled(void); |
|---|
| 144 | 125 | extern void tboot_probe(void); |
|---|
| 145 | 126 | extern void tboot_shutdown(u32 shutdown_type); |
|---|
| 146 | 127 | extern struct acpi_table_header *tboot_get_dmar_table( |
|---|