Is there any equation to calculate 45MBps MicroSD card writing time and SDIO clock frequency?