would like to write data from EEPROM to file stored in SD card.

Hi, I would like to write EEPROM data to file stored in SD card. I am using  DK-TM4C1294 development kit. Please post sample code if  possible.

 // Initialize the EEPROM
    SysCtlPeripheralReset(SYSCTL_PERIPH_EEPROM0);
    SysCtlPeripheralEnable(SYSCTL_PERIPH_EEPROM0);
    EEPROMInit();
    EEPROMMassErase();
    addr = 0x400af000;
    // We are finished. Hang around doing nothing.
    //
    while(1)
    {
        ui32Count = WaitAndReadADC(ui32adcValues);
        //Write(0x20008460, ui32Count[i]);
        //UARTprintf("The ADC value is 0x%x.\n", ui32Count[i]);
        EEPROMProgram(ui32adcValues, addr, sizeof(ui32Count));
        EEPROMRead(pui32Read, addr, sizeof(pui32Read));
        addr = addr + 1;

    }