#include <sys/types.h>
#include <sys/param.h>
#include <sys/user.h>
#include <sys/buf.h>
#include <sys/systm.h>
#include <sys/vm.h>
#include <sys/uio.h>
#include <vm/seg.h>
#include <sys/stat.h>
#include <sys/time.h>
#include <sys/varargs.h>
#include <sys/rsm/rsm.h>
extern char *vsprintf_len(size_t, char *, const char *, va_list);
extern char *sprintf(char *buf, const char *fmt, ...);
#define RSMKA_BUFSIZE 0x10000
char rsmka_buf[RSMKA_BUFSIZE];
char *rsmka_dbg = rsmka_buf;
char *rsmka_buf_end = rsmka_buf;
char *rsmka_buf_top = rsmka_buf + RSMKA_BUFSIZE - 256;
kmutex_t rsmka_buf_lock;
int rsmdbg_category = RSM_KERNEL_ALL;
#ifdef DEBUG
int rsmdbg_level = RSM_DEBUG_VERBOSE;
#else
int rsmdbg_level = RSM_NOTICE;
#endif
void dbprintf(char *fmt, ...) {
va_list ap;
va_start(ap, fmt);
mutex_enter(&rsmka_buf_lock);
(void) vsprintf_len(255, rsmka_buf_end, fmt, ap);
rsmka_buf_end += strlen(rsmka_buf_end);
if (rsmka_buf_end > rsmka_buf_top) {
rsmka_buf_end = rsmka_buf;
}
va_end(ap);
mutex_exit(&rsmka_buf_lock);
}
void
dbg_printf(int msg_category, int msg_level, char *fmt, ...)
{
if ((msg_category & rsmdbg_category) &&
(msg_level <= rsmdbg_level)) {
va_list ap;
va_start(ap, fmt);
mutex_enter(&rsmka_buf_lock);
(void) sprintf(rsmka_buf_end, "%16" PRIx64 ":",
curthread->t_did);
rsmka_buf_end += 17;
(void) vsprintf_len(255, rsmka_buf_end, fmt, ap);
rsmka_buf_end += strlen(rsmka_buf_end);
if (rsmka_buf_end > rsmka_buf_top) {
rsmka_buf_end = rsmka_buf;
}
mutex_exit(&rsmka_buf_lock);
va_end(ap);
}
}