ktrfaultend
void ktrfaultend(int);
ktrfaultend(result);
static void ktrfaultend(struct ktr_faultend *);
ktrfaultend((struct ktr_faultend *)m);