1 /* SPDX-License-Identifier: GPL-2.0-only */
5 int log_efi_specid_event(void) {
9 int log_event_tcg_12_format(TCG_PCR_EVENT2_HDR
*EventHdr
, uint8_t *EventLog
) {
13 int log_event_tcg_20_format(TCG_PCR_EVENT2_HDR
*EventHdr
, uint8_t *EventLog
) {