On 08.08.2025 22:23, Andrew Cooper wrote: > It's now just the double fault handler and various state dumping functions.
Ah, yes - long awaited consolidation. > Swap u64 for uint64_t, and fix a few other minor style issues. > > No functional change. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com> Acked-by: Jan Beulich <jbeul...@suse.com>