seria algo asi:
if(portx.pinx) {
delay_ms(100);
while(portx.pinx);
while(!portx.pinx);
*se ha pulsado 2 veces;
}
sin embargo esta funcion es bloqueante, pero la idea ya la tienes, solo te queda implementarla en tu codigo, y por ejemplo hacer que las pulsaciones como maximo esten en 1 segundo, o algo asi.