Symbol: decr_intr
sys/powerpc/include/clock.h
14
void decr_intr(struct trapframe *);
sys/powerpc/powerpc/interrupt.c
106
decr_intr(framep);