podrías poner :
#int_rb ///en el encabezado (antes de «void interrupcion()»
/*luego en el void main() configurar la direccion de memoria de cual puerto utlizarías, en tu caso RB5*/
set_tris_b(0x20); // o en bin 0b00100000 como quieras
enable_interrupts(global);
enable_interrupts(int_rb);
debería funcionar, es más o menos lo q te enténdí sino, equisd

Algunas interrupciones que se muestran en el post para colocar en el encabezado son solo para habilitar/deshabilitar las interrupciones. Por ejemplo, para tu caso si deseas usar la directiva INT_RB5 la puedes usar para habilitar/deshabilitar el pin B5. Sin embargo, el handler (manejador) de interrupciones que colocas en el encabezado siempre debe ser #INT_RB.

Es correcto Edi, gracias por la observación, voy a tratar de ordenar el contenido de forma ascendente, este mes estaré haciendo esto. Saludos.

Hola Lisandro, acabé de descargar el ejemplo del contador, que contiene el archivo de simulación y el código. Volví y compilé el código con la versión 5.076 de CCS y ejecuté la simulación, y me funciona perfecto, detecta la interrupción sin problemas e incrementa el contador. He vuelto a colocar los archivos en el botón de descarga junto con los archivos de compilación binaria (.hex), realmente nadie me ha comentado sobre haber tenido problemas con ese ejemplo. Intenta descargarlo de nuevo, ejecutas el proteus sin compilar nada para ver si corre, y luego compilas y ejecutas el proteus de nuevo, si no funciona, talvez si sea algo del compilador.

Hola Ulises, habría que consultar si el compilador CCS C permite el multitasking, pues yo hasta el momento no he trabajado con ello en el microcontrolador PIC. Lamento no poder orientarte en ese tema. Éxitos.