Flavio Cruz, on Tue 15 Mar 2016 05:49:20 -0400, wrote:
> -MACH_INLINE unsigned64_t hyp_cpu_clock(void) {
> - unsigned64_t tsc;
> +MACH_INLINE uint64_t hyp_cpu_clock(void) {
> + uint64_t tsc;
Take care of these which break the indentation.
Samuel
* 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. Define POSIX types such as int*_t and
uint*_t.
* i386/xen/xen.c: Use uint64_t.
* include/devic
