/* Retrieve ordinal number of the given afec hardware instance.  */
static uint8_t _afec_get_hardware_index(const void *const hw)
/* Retrieve ordinal number of the given afec hardware instance.  */
static uint8_t _afec_get_hardware_index(const void *const hw)
{
	if (hw == AFEC0) {
		return 0;
	} else if (hw == AFEC1) {
		return 1;
	}
	ASSERT(false);
	return 0;
}