On Wed, Apr 19, 2023 at 7:10 AM Hoo Robert <robert.hoo.linux@xxxxxxxxx> wrote:
>
> I think this vcpu exec time calc should be outside while() {} block.
Ah, you're right: fixed.
> can this gettid() be substituted by tid above? or #include header file
> for its prototype, otherwise build warning/error.
Huh, not sure how I missed the warning. Thanks, and done.
