8045a4c293
When casting the counter value to a 64 bit value in 32 bit mode, sign extension may lead to broken counter values. This patch fixes this by casting to (u64) instead of (s64). Signed-off-by: Robert Richter <robert.richter@amd.com> |
||
---|---|---|
.. | ||
Makefile | ||
backtrace.c | ||
init.c | ||
nmi_int.c | ||
nmi_timer_int.c | ||
op_counter.h | ||
op_model_amd.c | ||
op_model_p4.c | ||
op_model_ppro.c | ||
op_x86_model.h |