[Zerui Ge (gezerui888)]

Fixes #589
Fixes #590

nvx-time-probe clock printed zero MSR values and hypervisor CPUID fields as 0x0. The C tool uses %#x, which prints zero as 0. This change prints zero as 0 and keeps the 0x prefix for nonzero values. The CPUID max leaf and summary fields now use the same rule.

Validation

• Added regression tests for zero, nonzero and maximum values, and for distinct EAX/EDX fields.
• Passed: rustfmt, Clippy, default tests, rustdoc, Rust 1.89 MSRV, macOS cross-check, artifact bundling and the static musl guest build.
• Passed: 551 all-feature library tests, 282 musl library tests and the debug guest-tool tests.

[Copilot]

🟢 Approval recommended

The localized formatting changes address both issues with targeted regression coverage and no identified defects.

No open issues 🎉

What changed in this PR

Fixes #589 and #590 by matching C’s alternate hexadecimal formatting in nvx-time-probe clock.

Changes:

• Prints zero MSR and hypervisor CPUID values as 0, preserving 0x for nonzero values.
• Adds regressions for zero, nonzero, maximum values, and distinct feature registers.

File	Description
nvx-rs/​src/​guest/​time_probe/​clock.rs	Shares C-compatible hexadecimal formatting across affected output paths and adds regression tests.

_{Review effort: Balanced}

[Zerui Ge (gezerui888)]

@microsoft-github-policy-service agree