1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 #include <device/device.h>
4 #include <device/pci_def.h>
5 #include <device/pci_ops.h>
7 #include <soc/pci_devs.h>
9 uint32_t heci_fw_sts(void)
11 return pci_read_config32(PCH_DEV_CSE
, REG_SEC_FW_STS0
);
14 bool heci_cse_normal(void)
16 return ((heci_fw_sts() & MASK_SEC_STATUS
) == SEC_STATE_NORMAL
);
19 bool heci_cse_done(void)
21 return (!!(heci_fw_sts() & MASK_SEC_FIRMWARE_COMPLETE
));