Have a look at the Samples\Rabbit4000\ic_test.c and see if that sheds some light on what you are trying to do.
I think setting b6/b7 of the ICCR will allow counting pulse edges on the capture inputs. You will have to configure the ICTxR register to determine if you want to count rising/falling/both edges.
Regards,
Peter