CCS/LAUNCHXL-TMS57004: ADC READING ON PINS

Tool/software: Code Composer Studio

Hello everyone,

I am trying to read an ADC voltage on my launch pad. Since I am not authorized to setup a program I can not use HalCoGen. 

I have added code below. When I add adcInit(), it starts not to build any more. Whay may be the problem? How can I solve it?

Thanks.

void ADC_FNC(void)
{
    adcData_t adc_data; //ADC Data Structure

    adcData_t *adc_data_ptr = &adc_data; //ADC Data Pointer
    unsigned int i, value; //Declare variables

    adcInit();
}

Also How can I find mibadc.h file?