/* gpmc_prefetch_reset - disables and stops the prefetch engine  */
void gpmc_prefetch_reset(void)
/* gpmc_prefetch_reset - disables and stops the prefetch engine  */
void gpmc_prefetch_reset(void)
{
	gpmc_write_reg(GPMC_PREFETCH_CONTROL, 0x0);
	gpmc_write_reg(GPMC_PREFETCH_CONFIG1, 0x0);
}