/* Get TXBD write pointer, updated by SDIO IP.  */
u16 SDIO_TXBD_WPTR_Get(void)
/* Get TXBD write pointer, updated by SDIO IP.  */
u16 SDIO_TXBD_WPTR_Get(void)
{
	return HAL_SDIO_READ16(REG_SPDIO_TXBD_WPTR);
}