kdbprinttrap
kdbprinttrap(type, code);
void kdbprinttrap(int, int);
kdbprinttrap(type, code);
void kdbprinttrap(int, int);
kdbprinttrap(type);
void kdbprinttrap(int);