v1printk
v1printk("kgdbts:RUN hw breakpoint test\n");
v1printk("kgdbts:RUN hw write breakpoint test\n");
v1printk("kgdbts:RUN access write breakpoint test\n");
v1printk("kgdbts:RUN plant and detach test\n");
v1printk("kgdbts:RUN sw breakpoint test\n");
v1printk("kgdbts:RUN bad memory access test\n");
v1printk("kgdbts:RUN singlestep test %i iterations\n", sstep_test);
v1printk("kgdbts:RUN singlestep [%i/%i]\n",
v1printk("kgdbts:RUN NMI sleep %i seconds test\n", nmi_sleep);
v1printk("kgdbts:RUN ... %d remaining\n", repeat_test);