1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3 #include <device/device.h> 4 #include <device/pci_def.h> 5 #include <device/pci_ops.h> 6 #include <soc/heci.h> 7 #include <soc/pci_devs.h> 8 heci_fw_sts(void)9uint32_t heci_fw_sts(void) 10 { 11 return pci_read_config32(PCH_DEV_CSE, REG_SEC_FW_STS0); 12 } 13 heci_cse_normal(void)14bool heci_cse_normal(void) 15 { 16 return ((heci_fw_sts() & MASK_SEC_STATUS) == SEC_STATE_NORMAL); 17 } 18 heci_cse_done(void)19bool heci_cse_done(void) 20 { 21 return (!!(heci_fw_sts() & MASK_SEC_FIRMWARE_COMPLETE)); 22 } 23