324a325
> void resetHppi(uint32_t intid);