harvey/sys/include/rdbg.h

/* Remote kernel debug protocol */
enum
{
	Terr='0',
	Rerr,
	Tmget,
	Rmget,
	Tmput,
	Rmput,
};