/* defined in kern/subr_prf.c */