__TI_omp_device_alloc not working in "C"

Hello, 

Not sure if it is a compiler bug. I am using the __TI_omp_device_alloc() in C, but I found in ti_omp_device.h, it missed a enum

void* __TI_omp_device_alloc(int device_id, 
                            __TI_omp_mem_region mregion,          /* missing enum  */
                            int size);

But even after I added the enum, I found using gcc compiler it will return a undefined reference to __TI_omp_device_alloc() error. I guess it is due to c++ name mangling. 

So how to work around this? 

p.s. I am aware that the new MCSDK, and MCSDK_HPC was just released. Has this problem been fixed?

Thanks

Cheng