Re: [PATCH gnumach] Add timing info to MACH_LOCK_MON lock monitoring

[Samuel Thibault]

Hello,

Damien Zammit, le sam. 18 mars 2023 03:25:05 +0000, a ecrit:
> +#ifdef MACH_LOCK_MON
> +     if (cpu_number() == 0)
> +             tick_stamp++;
> +#endif

There is already elapsed_ticks, please use that.

Samuel