/* Get RXBD read pointer, updated by SDIO IP.  */
u16 SDIO_RXBD_RPTR_Get(void)
/* Get RXBD read pointer, updated by SDIO IP.  */
u16 SDIO_RXBD_RPTR_Get(void)
{
	return HAL_SDIO_READ16(REG_SPDIO_RXBD_C2H_RPTR);
}