Re: [PATCH] Replace Mach types with just POSIX types.

[Samuel Thibault]

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