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.

2 files changed, 4 insertions, 4 deletions

diff --git a/xen/net.c b/xen/net.c
index a5db4568..7181d780 100644
--- a/xen/net.c
+++ b/xen/net.c
@@ -145,8 +145,8 @@ static int recompute_checksum(void *data, int len) {
 
 	if (header8[9] == 6) {
 		/* Need to fix TCP checksum as well */
-		unsigned16_t *tcp_header16 = header16 + length/2;
-		unsigned8_t *tcp_header8 = header8 + length;
+		uint16_t *tcp_header16 = header16 + length/2;
+		uint8_t *tcp_header8 = header8 + length;
 		unsigned tcp_length = ntohs(header16[1]) - length;
 
 		/* Pseudo IP header */
@@ -166,7 +166,7 @@ static int recompute_checksum(void *data, int len) {
 		tcp_header16[8] = htons(~checksum);
 	} else if (header8[9] == 17) {
 		/* Drop any bogus checksum */
-		unsigned16_t *udp_header16 = header16 + length/2;
+		uint16_t *udp_header16 = header16 + length/2;
 		udp_header16[3] = 0;
 	}
 
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 {