aboutsummaryrefslogtreecommitdiff
path: root/xen/time.c
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-04 21:09:32 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-04-04 21:09:32 +0200
commitbb69f8133cc13e49d000a6f92e6b4ed534ec5924 (patch)
tree6f20c35597566cfcc601adcdf98f99cc0bb169b5 /xen/time.c
parent7bbfa39f59dcbc55b21d31abb9e2febef6a51ebb (diff)
downloadgnumach-bb69f8133cc13e49d000a6f92e6b4ed534ec5924.tar.gz
gnumach-bb69f8133cc13e49d000a6f92e6b4ed534ec5924.tar.bz2
gnumach-bb69f8133cc13e49d000a6f92e6b4ed534ec5924.zip
Follow-up stdint use
7bbfa39f59dcbc55b21d31abb9e2febef6a51ebb ('Use uint32_t instead of unsigned32_t.') missed some Xen code * xen/net.c (recompute_checksum): Use stdint.h types. * xen/time.c (hyp_get_stime): Likewise.
Diffstat (limited to 'xen/time.c')
-rw-r--r--xen/time.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/xen/time.c b/xen/time.c
index 3ad73e23..1e9afc8e 100644
--- a/xen/time.c
+++ b/xen/time.c
@@ -36,7 +36,7 @@ static uint64_t hyp_get_stime(void) {
uint64_t cpu_clock, last_cpu_clock, delta, system_time;
uint64_t delta_high, delta_low;
uint32_t mul;
- signed8_t shift;
+ int8_t shift;
volatile struct vcpu_time_info *time = &hyp_shared_info.vcpu_info[0].time;
do {