setup()
{
    /* clock */
    __writeMemory32(0x0000FF01, 0xFFFFFC20, "Memory");
    __readMemory32 (0xFFFFFC68, "Memory");
    __writeMemory32(0x2026BE04, 0xFFFFFC28, "Memory");
    __readMemory32 (0xFFFFFC68, "Memory");
    __writeMemory32(0x10483E0E, 0xFFFFFC2C, "Memory");
    __readMemory32 (0xFFFFFC68, "Memory");
    __writeMemory32(0x00000001, 0xFFFFFC30, "Memory");
    __readMemory32 (0xFFFFFC68, "Memory");
    __writeMemory32(0x00000202, 0xFFFFFC30, "Memory");
    __readMemory32 (0xFFFFFC68, "Memory");

    /* flash */
    __writeMemory32(0x00000000, 0xFFFFFF60, "Memory");
    __writeMemory32(0x00000000, 0xFFFFFF64, "Memory");
    __writeMemory32(0x00000003, 0xFFFFFF10, "Memory");
    __writeMemory32(0x00000000, 0xFFFFFF50, "Memory");
    __writeMemory32(0x00000000, 0xFFFFFF54, "Memory");
    __writeMemory32(0x00000000, 0xFFFFFF04, "Memory");
    __writeMemory32(0x00000000, 0xFFFFFF08, "Memory");
    __writeMemory32(0x00003284, 0xFFFFFF70, "Memory");
}

execUserFlashInit()
{
    __message "Calling Flash Loader Initialization Macros\n";

    setup();

    __message "Flash Loader Initialization Macros Completed\n";
}

execUserPreload()
{
    __message "Calling Flash Loader Debugging Macros\n";

    setup();

    __message "Flash Loader Debugging Macros Completed\n";
}