.. | .. |
---|
| 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( |
---|