Symbol: UFSHCI_REG_UTRLBAU
sys/dev/ic/ufshci.c
1905
UFSHCI_WRITE_4(my->sc, UFSHCI_REG_UTRLBAU,
sys/dev/ic/ufshci.c
493
UFSHCI_WRITE_4(sc, UFSHCI_REG_UTRLBAU, (uint32_t)(dva >> 32));