Home
last modified time | relevance | path

Searched refs:dbe_value (Results 1 – 2 of 2) sorted by relevance

/arm-trusted-firmware-2.8.0/plat/intel/soc/common/sip/
A Dsocfpga_sip_ecc.c18 uint32_t intel_ecc_dbe_notification(uint64_t dbe_value) in intel_ecc_dbe_notification() argument
20 dbe_value &= WARM_RESET_WFI_FLAG; in intel_ecc_dbe_notification()
23 if (dbe_value > 0) { in intel_ecc_dbe_notification()
/arm-trusted-firmware-2.8.0/plat/intel/soc/common/include/
A Dsocfpga_sip_svc.h195 uint32_t intel_ecc_dbe_notification(uint64_t dbe_value);

Completed in 3 milliseconds