dbg_start          33 platform/a540/debug.c void dbg_start() {
dbg_start          33 platform/a550/debug.c void dbg_start() {