diff options
author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-10-12 11:07:37 +0100 |
---|---|---|
committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-10-12 11:07:37 +0100 |
commit | d8263e8dbaf5ef1445bee0662143a0fcb6d43466 (patch) | |
tree | 9f12854f6cced9647fda399d756f23a47fcc6c97 /tools/xentrace/xenctx.c | |
parent | e2c103e4851e41622adfe762ab34f7518f8c371e (diff) | |
download | xen-d8263e8dbaf5ef1445bee0662143a0fcb6d43466.tar.gz xen-d8263e8dbaf5ef1445bee0662143a0fcb6d43466.tar.bz2 xen-d8263e8dbaf5ef1445bee0662143a0fcb6d43466.zip |
Fix Xen public interfaces and the tools to consistently
use stdint-format bitsize types (uint32_t and friends).
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'tools/xentrace/xenctx.c')
-rw-r--r-- | tools/xentrace/xenctx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c index 777604e369..fbfd341cd8 100644 --- a/tools/xentrace/xenctx.c +++ b/tools/xentrace/xenctx.c @@ -81,7 +81,7 @@ void print_ctx(vcpu_guest_context_t *ctx1) } #endif -void dump_ctx(u32 domid, u32 vcpu) +void dump_ctx(uint32_t domid, uint32_t vcpu) { int ret; vcpu_guest_context_t ctx; |