1 /* This file is part of the coreboot project. */
2 /* SPDX-License-Identifier: GPL-2.0-or-later */
4 #include <device/device.h>
5 #include <device/pci_def.h>
6 #include <device/pci_ops.h>
8 #include <soc/pci_devs.h>
10 uint32_t heci_fw_sts(void)
12 return pci_read_config32(PCH_DEV_CSE
, REG_SEC_FW_STS0
);
15 bool heci_cse_normal(void)
17 return ((heci_fw_sts() & MASK_SEC_STATUS
) == SEC_STATE_NORMAL
);
20 bool heci_cse_done(void)
22 return (!!(heci_fw_sts() & MASK_SEC_FIRMWARE_COMPLETE
));