1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <mboot.h> 4 log_efi_specid_event(void)5int log_efi_specid_event(void) { 6 return TPM_SUCCESS; 7 } 8 log_event_tcg_12_format(TCG_PCR_EVENT2_HDR * EventHdr,uint8_t * EventLog)9int log_event_tcg_12_format(TCG_PCR_EVENT2_HDR *EventHdr, uint8_t *EventLog) { 10 return TPM_SUCCESS; 11 } 12 log_event_tcg_20_format(TCG_PCR_EVENT2_HDR * EventHdr,uint8_t * EventLog)13int log_event_tcg_20_format(TCG_PCR_EVENT2_HDR *EventHdr, uint8_t *EventLog) { 14 return TPM_SUCCESS; 15 } 16