13ffbd8db1
vmx_tsc_adjust_test fails with:
IA32_TSC_ADJUST is -4294969448 (-1 * TSC_ADJUST_VALUE + -2152).
IA32_TSC_ADJUST is -4294969448 (-1 * TSC_ADJUST_VALUE + -2152).
IA32_TSC_ADJUST is 281470681738540 (65534 * TSC_ADJUST_VALUE + 4294962476).
==== Test Assertion Failure ====
x86_64/vmx_tsc_adjust_test.c:153: false
pid=19738 tid=19738 - Interrupted system call
1 0x0000000000401192: main at vmx_tsc_adjust_test.c:153
2 0x00007fe1ef8583d4: ?? ??:0
3 0x0000000000401201: _start at ??:?
Failed guest assert: (adjust <= max)
The problem is that is 'tsc_val' should be u64, not u32 or the reading
gets truncated.
Fixes:
|
||
---|---|---|
.. | ||
include | ||
lib | ||
s390x | ||
x86_64 | ||
.gitignore | ||
clear_dirty_log_test.c | ||
config | ||
demand_paging_test.c | ||
dirty_log_test.c | ||
kvm_create_max_vcpus.c | ||
Makefile | ||
set_memory_region_test.c | ||
steal_time.c |