int debug_getargs(unsigned bufsize,
                  unsigned char *buf);

debug_getargs stores the debugger command line arguments into the memory pointed at by buf up to a maximum of bufsize bytes. The command line is stored as a C argc array of null terminated string and the number of entries is returned as the result.