unable to get the user leds to work on the c6713 dsk

Hi,

I am having trouble getting the user LEDs on the c6713 DSk to work when calling the there functions. I have the DSK6713bsl.lib included, I have the included header files for the DSk and the DSk led.  I am able to get the LED example project to work on the DSK board however when I call the function in my program the LEDs does not light up. As far as I can tell the only differences between the example LED project and my project is the fact that I have the external memory of the DSK enabled which stores the program and data on the SDRAM chip instead of the internal memory of the DSP chip and my memory is dynamically allocated. Is it possible that the board support library is not compatible with use of the external memory of the DSK board or dynamically allocated memory?

I have included the header files and the main portion of the main fuction.

Thanks

#include <std.h>
#include <stdio.h>

#include <csl.h>

#include <log.h>
#include <string.h>
#include <stdlib.h>

#include <clk.h>
#include <sts.h>
#include <trc.h>
#include <swi.h>
#include <csl_emif.h>

#include "CSolvercfg.h"
#include "EntityStruct.h"
#include "InteractionPoint.h"
#include "SolverAPI.h"

#include "dsk6713.h"
#include "dsk6713_led.h"

int main(int argc, char* argv[])
{

 CSL_init();
 DSK6713_init(); 
 DSK6713_LED_init();
 DSK6713_LED_on(3);
 InitVTBPro(argc, argv);

 StartVTBSimulation();
 DSK6713_LED_off(3);