/* Set RXBD write pointer, updated by cpu CM4 driver.  */
void SDIO_RXBD_WPTR_Set(u16 Val)
/* Set RXBD write pointer, updated by cpu CM4 driver.  */
void SDIO_RXBD_WPTR_Set(u16 Val)
{
	HAL_SDIO_WRITE16(REG_SPDIO_RXBD_C2H_WPTR, Val);
}