/* Set TXBD read pointer, updated by CM4 driver.  */
void SDIO_TXBD_RPTR_Set(u16 Val)
/* Set TXBD read pointer, updated by CM4 driver.  */
void SDIO_TXBD_RPTR_Set(u16 Val)
{
	HAL_SDIO_WRITE16(REG_SPDIO_TXBD_RPTR, Val);
}