Symbol: rlprintf
sys/arch/alpha/alpha/interrupt.c
353
rlprintf(ratelimit, "Stray machine check\n");
sys/arch/alpha/include/alpha.h
186
void rlprintf(struct timeval *t, const char *fmt, ...);