/* Get the result of the last executed command.  */
uint32_t efc_get_result(Efc *p_efc)
/* Get the result of the last executed command.  */
uint32_t efc_get_result(Efc *p_efc)
{
	return p_efc->EEFC_FRR;
}