static inline int fs_channel(target_phys_addr_t addr)

{

	/* Every channel has a 0x2000 ctrl register map.  */

	return addr >> 13;

}

static inline int fs_channel(target_phys_addr_t addr)

{

	

	return addr >> 13;

}

static inline int FUNC_0(target_phys_addr_t VAR_0)

{

	

	return VAR_0 >> 13;

}

static inline int FUNC_0(target_phys_addr_t VAR_0)
{ return VAR_0 >> 13; }