KERR_BADADDR      487 bsp/drv/dev/base/kd.c 		return KERR_BADADDR;
KERR_BADADDR      565 bsp/drv/dev/base/kd.c 		return KERR_BADADDR;