bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Use uint32_t instead of unsigned32_t.


From: Samuel Thibault
Subject: Re: [PATCH] Use uint32_t instead of unsigned32_t.
Date: Mon, 4 Apr 2016 21:10:32 +0200
User-agent: Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30)

Justus Winter, on Mon 04 Apr 2016 20:27:08 +0200, wrote:
> Quoting Flavio Cruz (2016-03-20 22:01:10)
> > * Makefile.am: Use -ffreestanding and remove -nostdinc since we are 
> > including stdint.h.
> > * i386/i386/xen.h: Use uint64_t.
> > * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t.
> > * i386/include/mach/i386/vm_types.h: Remove definitions of int*, uint*,
> > unsigned* and signed* types.
> 
> This broke the xen port.

Indeed, thanks!

Samuel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]