ECHO_DEBUGBREAK
#define ECHO_DEBUGBREAK() kernel_debugger("echo driver debug break");
#define ECHO_DEBUGBREAK()
