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