printtrap
void printtrap(const unsigned long, const unsigned long, const unsigned long,
printtrap(a0, a1, a2, entry, framep, 1, user);
printtrap(a0, a1, a2, entry, framep, 1, user);
printtrap(type, frame);
void printtrap(int, struct trapframe *);