Symbol: KdPrintI
sys/dev/hptmv/mvOs.h
140
#define KdPrintI(_x_) do{ if (hpt_dbg_level>2) printf _x_; }while(0)
sys/dev/hptmv/mvOs.h
147
#define KdPrintI(x)