/* Set an interrupt handler for the specified interrput source.  */
void pplc_set_handler(void(*p_handler)(void))
/* Set an interrupt handler for the specified interrput source.  */
void pplc_set_handler(void(*p_handler)(void))
{
	pplc_handler = p_handler;
}