He tenido que modificar un poco tu programa para que funcione:
Codigo:
#int_rtcc
interrupcion_timer0()
{
if(input(pin_c3)==1) /* en esta línea es donde tenías el principal problema
el registro PIN_C3 no es de lectura, sólo de escritura, y para leerlo
hace falta usar la función INPUT */
{
output_low(pin_c3);
}
else
{
output_high(pin_c3);
}
set_rtcc(5); /*vuelvo a cargar el tmr0
he cambiado el 6 por un 5 para que sea más preciso*/
}
void main()
{
set_tris_c(0x00); /*configuro el puerto c como salida
aquí tenías otro fallo, si pones 0xFF configuras el puerto como entrada*/
// he borrado varias líneas que no eran imprescindibles
setup_counters(RTCC_INTERNAL,RTCC_DIV_2|RTCC_8_BIT);
set_rtcc(5); /*cargo el tmr0 a este valor*/
ENABLE_INTERRUPTS(INT_RTCC);
ENABLE_INTERRUPTS(GLOBAL);
output_low(pin_c3); /*pongo el puerto de salida a 0 inicialmente*/
while (1) // añado un bucle sin fin porque de lo contrario el programa finaliza
{}