40 static int imx_usdhc_prepare(int lba, uintptr_t buf, size_t size);
41 static int imx_usdhc_read(int lba, uintptr_t buf, size_t size);
42 static int imx_usdhc_write(int lba, uintptr_t buf, size_t size);
71 static int imx_usdhc_save_buf_data(uintptr_t buf, size_t size)  in imx_usdhc_save_buf_data()  argument
82 	if (buf > UINT32_MAX) {  in imx_usdhc_save_buf_data()
86 	imx_usdhc_data.addr = (uint32_t)buf;  in imx_usdhc_save_buf_data()
419 static int imx_usdhc_prepare(int lba, uintptr_t buf, size_t size)  in imx_usdhc_prepare()  argument
421 	flush_dcache_range(buf, size);  in imx_usdhc_prepare()
422 	return imx_usdhc_save_buf_data(buf, size);  in imx_usdhc_prepare()
425 static int imx_usdhc_read(int lba, uintptr_t buf, size_t size)  in imx_usdhc_read()  argument
427 	inv_dcache_range(buf, size);  in imx_usdhc_read()
431 static int imx_usdhc_write(int lba, uintptr_t buf, size_t size)  in imx_usdhc_write()  argument