acrn-kernel/include/asm-frv/kdebug.h