From mboxrd@z Thu Jan 1 00:00:00 1970 From: George Dunlap Subject: Re: [PATCH v4 01/15] xenctx: clean up usage output Date: Wed, 19 Mar 2014 15:16:58 +0000 Message-ID: <5329B4EA.8030909@eu.citrix.com> References: <1395180940-23901-1-git-send-email-dslutz@verizon.com> <1395180940-23901-2-git-send-email-dslutz@verizon.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1395180940-23901-2-git-send-email-dslutz@verizon.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Don Slutz , xen-devel@lists.xen.org Cc: Ian Jackson , Ian Campbell , Jan Beulich , Stefano Stabellini List-Id: xen-devel@lists.xenproject.org On 03/18/2014 10:15 PM, Don Slutz wrote: > Fix usage formatting to be all the same. > > Fix usage display of default --kernel-start for 64 bit. > > Signed-off-by: Don Slutz Reviewed-by: George Dunlap > --- > v4 Changed from kaddr to KADDR > > tools/xentrace/xenctx.c | 17 +++++++++-------- > 1 file changed, 9 insertions(+), 8 deletions(-) > > diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c > index 7275a00..97c6197 100644 > --- a/tools/xentrace/xenctx.c > +++ b/tools/xentrace/xenctx.c > @@ -823,15 +823,16 @@ static void usage(void) > > printf("options:\n"); > printf(" -f, --frame-pointers\n"); > - printf(" assume the kernel was compiled with\n"); > - printf(" frame pointers.\n"); > + printf(" assume the kernel was compiled with\n"); > + printf(" frame pointers.\n"); > printf(" -s SYMTAB, --symbol-table=SYMTAB\n"); > - printf(" read symbol table from SYMTAB.\n"); > - printf(" -S --stack-trace print a complete stack trace.\n"); > - printf(" -k, --kernel-start\n"); > - printf(" set user/kernel split. (default 0xc0000000)\n"); > - printf(" -a --all display more registers\n"); > - printf(" -C --all-vcpus print info for all vcpus\n"); > + printf(" read symbol table from SYMTAB.\n"); > + printf(" -S, --stack-trace print a complete stack trace.\n"); > + printf(" -k KADDR, --kernel-start=KADDR\n"); > + printf(" set user/kernel split. (default 0x"FMT_32B_WORD")\n", > + kernel_start); > + printf(" -a, --all display more registers\n"); > + printf(" -C, --all-vcpus print info for all vcpus\n"); > } > > int main(int argc, char **argv)