~/Work/tools/cbmc-4.3/cbmc main.c mc146818rtc.c qemu-timer.c qverify.c rtc-verify.c --unwind 11 -D__CBMC_TEST_HW__ -D__NO_TIMER__ -DRTC_BENCHMARK_PROP_1 -D__EXPOSE_BUG__ file main.c: Parsing file mc146818rtc.c: Parsing file qemu-timer.c: Parsing file qverify.c: Parsing file rtc-verify.c: Parsing Converting Type-checking main Type-checking mc146818rtc Type-checking qemu-timer Type-checking qverify Type-checking rtc-verify Generating GOTO Program Adding CPROVER library Function Pointer Removal Partial Inlining Generic Property Instrumentation Starting Bounded Model Checking **** WARNING: no body for function c::gettimeofday Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::copy_data.0 iteration 1 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 2 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 3 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 4 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 5 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 6 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 7 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 8 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 9 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::copy_data.0 iteration 10 file mc146818rtc.c line 399 function copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 1 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 2 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 3 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 4 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 5 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 6 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 7 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 8 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 9 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::assert_equal_copy_data.0 iteration 10 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 1 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 2 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 3 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 4 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 5 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 6 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 7 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 8 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 9 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 Unwinding loop c::cmos_ioport_write.1 iteration 10 file mc146818rtc.c line 604 function cmos_ioport_write thread 0 size of program expression: 24029 assignments simple slicing removed 1366 assignments Generated 50 VCC(s), 50 remaining after simplification Passing problem to propositional reduction Running propositional reduction Solving with MiniSAT2 with simplifier 3475849 variables, 10180429 clauses SAT checker: negated claim is SATISFIABLE, i.e., does not hold Runtime decision procedure: 39.563s Building error trace Counterexample: State 3 file qverify.c line 5 thread 0 ---------------------------------------------------- _global_qverify={ .rtc_state=NULL } ({ 0000000000000000000000000000000000000000000000000000000000000000 }) State 4 file line 27 thread 0 ---------------------------------------------------- __CPROVER_deallocated=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 5 file line 28 thread 0 ---------------------------------------------------- __CPROVER_malloc_object=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 6 file line 29 thread 0 ---------------------------------------------------- __CPROVER_malloc_size=0 (0000000000000000000000000000000000000000000000000000000000000000) State 7 file line 30 thread 0 ---------------------------------------------------- __CPROVER_malloc_is_new_array=FALSE (0) State 8 file line 42 thread 0 ---------------------------------------------------- __CPROVER_rounding_mode=0 (00000000000000000000000000000000) State 9 file rtc-verify.c line 20 thread 0 ---------------------------------------------------- base=112 (01110000) State 10 file mc146818rtc.c line 109 thread 0 ---------------------------------------------------- global_rtc_state={ .cmos_data={ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }, .cmos_data_copy={ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 }, .cmos_data_copy_check=FALSE, .cmos_index=0, .base_year=0, .base_rtc=0, .last_update=0, .offset=0, .irq=NULL, .sqw_irq=NULL, .it_shift=0, .$pad0=0, .periodic_timer=NULL, .next_periodic_time=0, .update_timer=NULL, .next_alarm_time=0, .irq_reinject_on_ack_count=0, .$pad1=0, .irq_coalesced=0, .period=0, .io_info=0, .cmos_data_info={ FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE, FALSE }, .dm_change=FALSE, .$pad2=0 } ({ { 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000 }, { 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000 }, 00000000, 00000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000, 0000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, { 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000, 00000000 }, 00000000, 00000000000000000000000000000000000000000000000000000000 }) State 11 file qemu-timer.h line 23 thread 0 ---------------------------------------------------- rtc_clock=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 12 file qemu-timer.h line 31 thread 0 ---------------------------------------------------- rt_clock=&_rt_clock.active_timers (0000001000000000000000000000000000000000000000000000000000000000) State 13 file qemu-timer.h line 36 thread 0 ---------------------------------------------------- vm_clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 14 file qemu-timer.h line 43 thread 0 ---------------------------------------------------- host_clock=&_host_clock.active_timers (0000010000000000000000000000000000000000000000000000000000000000) State 15 file qemu-timer.h line 96 thread 0 ---------------------------------------------------- use_rt_clock=0 (00000000000000000000000000000000) State 16 file qverify.h line 14 thread 0 ---------------------------------------------------- global_qverify=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 17 file mc146818rtc.c line 829 thread 0 ---------------------------------------------------- _rtc_date_offset=-1 (11111111111111111111111111111111) State 18 file mc146818rtc.c line 830 thread 0 ---------------------------------------------------- _rtc_utc=1 (00000000000000000000000000000001) State 19 file main.c line 16 thread 0 ---------------------------------------------------- ram_size=0 (0000000000000000000000000000000000000000000000000000000000000000) State 20 file main.c line 17 thread 0 ---------------------------------------------------- smp_cpus=1 (00000000000000000000000000000001) State 21 file mc146818rtc.c line 896 function _rtc_initfn thread 0 ---------------------------------------------------- _periodic_timer={ .expire_time=0, .clock=NULL, .cb=NULL, .opaque=NULL, .next=NULL, .scale=1, .$pad0=0 } ({ 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 00000000000000000000000000000001, 00000000000000000000000000000000 }) State 22 file mc146818rtc.c line 907 function _rtc_initfn thread 0 ---------------------------------------------------- _update_timer={ .expire_time=0, .clock=NULL, .cb=NULL, .opaque=NULL, .next=NULL, .scale=1, .$pad0=0 } ({ 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 00000000000000000000000000000001, 00000000000000000000000000000000 }) State 23 file qemu-timer.c line 39 thread 0 ---------------------------------------------------- _rt_clock={ .active_timers=NULL, .last=-9223372036854775808, .type=0, .enabled=TRUE, .$pad0=0 } ({ 0000000000000000000000000000000000000000000000000000000000000000, 1000000000000000000000000000000000000000000000000000000000000000, 00000000000000000000000000000000, 00000001, 000000000000000000000000 }) State 24 file qemu-timer.c line 43 thread 0 ---------------------------------------------------- _vm_clock={ .active_timers=NULL, .last=-9223372036854775808, .type=1, .enabled=TRUE, .$pad0=0 } ({ 0000000000000000000000000000000000000000000000000000000000000000, 1000000000000000000000000000000000000000000000000000000000000000, 00000000000000000000000000000001, 00000001, 000000000000000000000000 }) State 25 file qemu-timer.c line 47 thread 0 ---------------------------------------------------- _host_clock={ .active_timers=NULL, .last=-9223372036854775808, .type=2, .enabled=TRUE, .$pad0=0 } ({ 0000000000000000000000000000000000000000000000000000000000000000, 1000000000000000000000000000000000000000000000000000000000000000, 00000000000000000000000000000010, 00000001, 000000000000000000000000 }) State 32 file qverify.c line 14 function qverify_init thread 0 ---------------------------------------------------- global_qverify=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 34 file main.c line 88 function main thread 0 ---------------------------------------------------- rtc_clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 37 file main.c line 89 function main thread 0 ---------------------------------------------------- base_year=2000 (00000000000000000000011111010000) State 38 file mc146818rtc.c line 925 function _rtc_init thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 39 file mc146818rtc.c line 927 function _rtc_init thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 42 file mc146818rtc.c line 928 function _rtc_init thread 0 ---------------------------------------------------- rtc_state=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 43 file qverify.c line 9 function set_global_qverify_rtc_state thread 0 ---------------------------------------------------- _global_qverify.rtc_state=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 45 file mc146818rtc.c line 930 function _rtc_init thread 0 ---------------------------------------------------- global_rtc_state.base_year=2000 (00000000000000000000011111010000) State 48 file mc146818rtc.c line 931 function _rtc_init thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 49 file mc146818rtc.c line 877 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[10]=38 (00100110) State 50 file mc146818rtc.c line 878 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[11]=2 (00000010) State 51 file mc146818rtc.c line 879 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[12]=0 (00000000) State 52 file mc146818rtc.c line 880 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[13]=128 (10000000) State 54 file mc146818rtc.c line 891 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.base_year=0 (00000000000000000000000000000000) State 57 file mc146818rtc.c line 894 function _rtc_initfn thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 58 file mc146818rtc.c line 852 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- tm={ .tm_sec=765, .tm_min=2, .tm_hour=1, .tm_mday=2, .tm_mon=-217579522, .tm_year=1204830096, .tm_wday=0, .tm_yday=0, .tm_isdst=0, .$pad0=0, .tm_gmtoff=0, .tm_zone=NULL } ({ 00000000000000000000001011111101, 00000000000000000000000000000010, 00000000000000000000000000000001, 00000000000000000000000000000010, 11110011000001111111111111111110, 01000111110100000011111110010000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000 }) State 61 file mc146818rtc.c line 854 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- tm=&tm!0@1.tm_sec (0000011100000000000000000000000000000000000000000000000000000000) State 62 file mc146818rtc.c line 854 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- offset=0 (00000000000000000000000000000000) State 63 file mc146818rtc.c line 835 function qemu_get_timedate thread 0 ---------------------------------------------------- ti=0 (0000000000000000000000000000000000000000000000000000000000000000) State 66 file mc146818rtc.c line 837 function qemu_get_timedate thread 0 ---------------------------------------------------- tloc=&ti!0@1 (0000100000000000000000000000000000000000000000000000000000000000) State 67 file -time line 11 function time thread 0 ---------------------------------------------------- res=0 (0000000000000000000000000000000000000000000000000000000000000000) State 71 file mc146818rtc.c line 838 function qemu_get_timedate thread 0 ---------------------------------------------------- ti=0 (0000000000000000000000000000000000000000000000000000000000000000) State 76 file mc146818rtc.c line 841 function qemu_get_timedate thread 0 ---------------------------------------------------- clock=&ti!0@1 (0000100000000000000000000000000000000000000000000000000000000000) State 78 file -gmtime line 15 function gmtime thread 0 ---------------------------------------------------- tm=&return_value.tm_sec (0000100100000000000000000000000000000000000000000000000000000000) State 83 file mc146818rtc.c line 856 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- return_value_mktimegm$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 86 file mc146818rtc.c line 856 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- tm=&tm!0@1.tm_sec (0000011100000000000000000000000000000000000000000000000000000000) State 87 file mc146818rtc.c line 119 function mktimegm thread 0 ---------------------------------------------------- t=0 (0000000000000000000000000000000000000000000000000000000000000000) State 88 file mc146818rtc.c line 120 function mktimegm thread 0 ---------------------------------------------------- y=0 (00000000000000000000000000000000) State 89 file mc146818rtc.c line 120 function mktimegm thread 0 ---------------------------------------------------- y=1204831996 (01000111110100000100011011111100) State 90 file mc146818rtc.c line 120 function mktimegm thread 0 ---------------------------------------------------- m=0 (00000000000000000000000000000000) State 91 file mc146818rtc.c line 120 function mktimegm thread 0 ---------------------------------------------------- m=-217579521 (11110011000001111111111111111111) State 92 file mc146818rtc.c line 120 function mktimegm thread 0 ---------------------------------------------------- d=0 (00000000000000000000000000000000) State 93 file mc146818rtc.c line 120 function mktimegm thread 0 ---------------------------------------------------- d=2 (00000000000000000000000000000010) State 95 file mc146818rtc.c line 122 function mktimegm thread 0 ---------------------------------------------------- m=-217579509 (11110011000010000000000000001011) State 96 file mc146818rtc.c line 123 function mktimegm thread 0 ---------------------------------------------------- y=1204831995 (01000111110100000100011011111011) State 97 file mc146818rtc.c line 125 function mktimegm thread 0 ---------------------------------------------------- t=-182518826342400 (1111111111111111010110100000000000000110001100001110100000000000) State 98 file mc146818rtc.c line 127 function mktimegm thread 0 ---------------------------------------------------- t=-182518826337915 (1111111111111111010110100000000000000110001100001111100110000101) State 100 file mc146818rtc.c line 128 function mktimegm thread 0 ---------------------------------------------------- return_value_mktimegm$1=-182518826337915 (1111111111111111010110100000000000000110001100001111100110000101) State 102 file mc146818rtc.c line 856 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- global_rtc_state.base_rtc=18446561554883213701 (1111111111111111010110100000000000000110001100001111100110000101) State 103 file mc146818rtc.c line 857 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 106 file mc146818rtc.c line 857 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 107 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 110 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 114 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 116 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=1127817507282880618, .tv_usec=-284790827828378581 } ({ 0000111110100110110100000000110000100101000100000000100001101010, 1111110000001100001110000100000001000000000000000000010000101011 }) State 120 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=2575581584672943096 (0010001110111110010011011100111000100100011101111110101111111000) State 123 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=2575581584672943096 (0010001110111110010011011100111000100100011101111110101111111000) State 126 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=2575581584672943096 (0010001110111110010011011100111000100100011101111110101111111000) State 128 file mc146818rtc.c line 857 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- global_rtc_state.last_update=2575581584672943096 (0010001110111110010011011100111000100100011101111110101111111000) State 129 file mc146818rtc.c line 858 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- global_rtc_state.offset=0 (0000000000000000000000000000000000000000000000000000000000000000) State 132 file mc146818rtc.c line 861 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 133 file mc146818rtc.c line 861 function _rtc_set_date_from_host thread 0 ---------------------------------------------------- tm=&tm!0@1.tm_sec (0000011100000000000000000000000000000000000000000000000000000000) State 134 file mc146818rtc.c line 678 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=0 (00000000000000000000000000000000) State 135 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=0 (00000000000000000000000000000000) State 137 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 138 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 139 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 140 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=765 (00000000000000000000001011111101) State 142 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=1221 (00000000000000000000010011000101) State 145 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[0]=197 (11000101) State 146 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=0 (00000000000000000000000000000000) State 148 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 149 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 150 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 151 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=2 (00000000000000000000000000000010) State 153 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=2 (00000000000000000000000000000010) State 156 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[2]=2 (00000010) State 158 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=0 (00000000000000000000000000000000) State 160 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 161 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 162 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 163 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 165 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=1 (00000000000000000000000000000001) State 168 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[4]=1 (00000001) State 170 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=0 (00000000000000000000000000000000) State 172 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 173 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 174 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 175 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 177 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=1 (00000000000000000000000000000001) State 180 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[6]=1 (00000001) State 181 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=0 (00000000000000000000000000000000) State 183 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 184 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 185 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 186 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=2 (00000000000000000000000000000010) State 188 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=2 (00000000000000000000000000000010) State 191 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[7]=2 (00000010) State 192 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=0 (00000000000000000000000000000000) State 194 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 195 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 196 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 197 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-217579521 (11110011000001111111111111111111) State 199 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=-1 (11111111111111111111111111111111) State 202 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[8]=255 (11111111) State 203 file mc146818rtc.c line 695 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=1204831996 (01000111110100000100011011111100) State 204 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=0 (00000000000000000000000000000000) State 206 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 207 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 208 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 209 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=96 (00000000000000000000000001100000) State 211 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=150 (00000000000000000000000010010110) State 214 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[9]=150 (10010110) State 215 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=0 (00000000000000000000000000000000) State 217 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 218 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 219 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 220 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=12048319 (00000000101101111101011110111111) State 222 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=19277305 (00000001001001100010010111111001) State 225 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[50]=249 (11111001) State 228 file mc146818rtc.c line 900 function _rtc_initfn thread 0 ---------------------------------------------------- _periodic_timer.clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 229 file mc146818rtc.c line 901 function _rtc_initfn thread 0 ---------------------------------------------------- _periodic_timer.cb=&_rtc_periodic_timer (0000101000000000000000000000000000000000000000000000000000000000) State 230 file mc146818rtc.c line 902 function _rtc_initfn thread 0 ---------------------------------------------------- _periodic_timer.opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 231 file mc146818rtc.c line 905 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.periodic_timer=&_periodic_timer.expire_time (0000101100000000000000000000000000000000000000000000000000000000) State 232 file mc146818rtc.c line 911 function _rtc_initfn thread 0 ---------------------------------------------------- _update_timer.clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 233 file mc146818rtc.c line 912 function _rtc_initfn thread 0 ---------------------------------------------------- _update_timer.cb=&_rtc_update_timer (0000110000000000000000000000000000000000000000000000000000000000) State 234 file mc146818rtc.c line 913 function _rtc_initfn thread 0 ---------------------------------------------------- _update_timer.opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 235 file mc146818rtc.c line 915 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.update_timer=&_update_timer.expire_time (0000110100000000000000000000000000000000000000000000000000000000) State 238 file mc146818rtc.c line 916 function _rtc_initfn thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 239 file mc146818rtc.c line 216 function check_update_timer thread 0 ---------------------------------------------------- next_update_time=0 (0000000000000000000000000000000000000000000000000000000000000000) State 240 file mc146818rtc.c line 217 function check_update_timer thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 241 file mc146818rtc.c line 218 function check_update_timer thread 0 ---------------------------------------------------- next_alarm_sec=0 (00000000000000000000000000000000) State 242 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 245 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 246 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 247 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 248 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 251 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 252 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 255 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 259 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 261 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=-253935435968309248, .tv_usec=-7506488942492303296 } ({ 1111110001111001110101110001000011111111001110011001100000000000, 1001011111010011100110000001001111110000010110010100000001000000 }) State 265 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-9130689856340297216 (1000000101001001010001011111001110111110100100101111101000000000) State 268 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-9130689856340297216 (1000000101001001010001011111001110111110100100101111101000000000) State 271 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-9130689856340297216 (1000000101001001010001011111001110111110100100101111101000000000) State 273 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=9316054217369254400 (1000000101001001010001011111001110111110100100101111101000000000) State 274 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=8 (0000000000000000000000000000000000000000000000000000000000001000) State 276 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=8 (0000000000000000000000000000000000000000000000000000000000001000) State 278 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- guest_nsec=8 (0000000000000000000000000000000000000000000000000000000000001000) State 279 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 282 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 283 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 286 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 290 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 292 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=1391573608512, .tv_usec=-8930319133111672804 } ({ 0000000000000000000000010100010000000000010000000010100001000000, 1000010000010001001000100001000000110100000000010010000000011100 }) State 296 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=5972801547533806944 (0101001011100011101001110101110010111010101001111110110101100000) State 299 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=5972801547533806944 (0101001011100011101001110101110010111010101001111110110101100000) State 302 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=5972801547533806944 (0101001011100011101001110101110010111010101001111110110101100000) State 304 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- next_update_time=5972801548533806936 (0101001011100011101001110101110011110110010000101011011101011000) State 305 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- return_value_get_next_alarm$3=0 (0000000000000000000000000000000000000000000000000000000000000000) State 308 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 309 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_sec=0 (00000000000000000000000000000000) State 310 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_min=0 (00000000000000000000000000000000) State 311 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 312 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_hour=0 (00000000000000000000000000000000) State 313 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_min=0 (00000000000000000000000000000000) State 314 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_sec=0 (00000000000000000000000000000000) State 315 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- hour=0 (00000000000000000000000000000000) State 316 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- min=0 (00000000000000000000000000000000) State 317 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- sec=0 (00000000000000000000000000000000) State 320 file mc146818rtc.c line 280 function get_next_alarm thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 321 file mc146818rtc.c line 702 function _rtc_update_time thread 0 ---------------------------------------------------- ret={ .tm_sec=104880579, .tm_min=1843188459, .tm_hour=55400449, .tm_mday=-1, .tm_mon=1281, .tm_year=-1820723082, .tm_wday=1, .tm_yday=0, .tm_isdst=0, .$pad0=0, .tm_gmtoff=0, .tm_zone=NULL } ({ 00000110010000000101100111000011, 01101101110111001101001011101011, 00000011010011010101100000000001, 11111111111111111111111111111111, 00000000000000000000010100000001, 10010011011110011111100001110110, 00000000000000000000000000000001, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000 }) State 322 file mc146818rtc.c line 703 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 323 file mc146818rtc.c line 704 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 324 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 327 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 328 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 329 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 330 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 333 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 334 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 337 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 341 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 343 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=300672918882393401, .tv_usec=-7583234539830886400 } ({ 0000010000101100001101000110110100111011100100001001110100111001, 1001011011000010111100000101110100011100111010000100000000000000 }) State 347 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-9130689856340297216 (1000000101001001010001011111001110111110100100101111101000000000) State 350 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-9130689856340297216 (1000000101001001010001011111001110111110100100101111101000000000) State 353 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-9130689856340297216 (1000000101001001010001011111001110111110100100101111101000000000) State 355 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=9316054217369254400 (1000000101001001010001011111001110111110100100101111101000000000) State 356 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=8 (0000000000000000000000000000000000000000000000000000000000001000) State 358 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=8 (0000000000000000000000000000000000000000000000000000000000001000) State 360 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=8 (0000000000000000000000000000000000000000000000000000000000001000) State 361 file mc146818rtc.c line 707 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 364 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- clock=&guest_sec!0@1 (0000111000000000000000000000000000000000000000000000000000000000) State 365 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- result=&ret!0@1.tm_sec (0000111100000000000000000000000000000000000000000000000000000000) State 370 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 371 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- tm=&ret!0@1.tm_sec (0000111100000000000000000000000000000000000000000000000000000000) State 372 file mc146818rtc.c line 678 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=0 (00000000000000000000000000000000) State 373 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=0 (00000000000000000000000000000000) State 375 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 376 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 377 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 378 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=104880579 (00000110010000000101100111000011) State 380 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=167808921 (00001010000000001000111110011001) State 383 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[0]=153 (10011001) State 384 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=0 (00000000000000000000000000000000) State 386 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 387 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 388 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 389 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1843188459 (01101101110111001101001011101011) State 391 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=-1345865767 (10101111110001111011011111011001) State 394 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[2]=217 (11011001) State 396 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=0 (00000000000000000000000000000000) State 398 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 399 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 400 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 401 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=55400449 (00000011010011010101100000000001) State 403 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=88640713 (00000101010010001000110011001001) State 406 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[4]=201 (11001001) State 408 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=0 (00000000000000000000000000000000) State 410 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 411 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 412 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 413 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=2 (00000000000000000000000000000010) State 415 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=2 (00000000000000000000000000000010) State 418 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[6]=2 (00000010) State 419 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=0 (00000000000000000000000000000000) State 421 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 422 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 423 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 424 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-1 (11111111111111111111111111111111) State 426 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=-1 (11111111111111111111111111111111) State 429 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[7]=255 (11111111) State 430 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=0 (00000000000000000000000000000000) State 432 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 433 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 434 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 435 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1282 (00000000000000000000010100000010) State 437 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=2050 (00000000000000000000100000000010) State 440 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[8]=2 (00000010) State 441 file mc146818rtc.c line 695 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=-1820721182 (10010011011110011111111111100010) State 442 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=0 (00000000000000000000000000000000) State 444 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 445 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 446 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 447 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-82 (11111111111111111111111110101110) State 449 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=-2 (11111111111111111111111111111110) State 452 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[9]=254 (11111110) State 453 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=0 (00000000000000000000000000000000) State 455 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 456 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 457 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 458 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-18207211 (11111110111010100010111000010101) State 460 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=-1 (11111111111111111111111111111111) State 463 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[50]=255 (11111111) State 467 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 468 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 469 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 470 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 473 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_sec=0 (00000000000000000000000000000000) State 477 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 478 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 479 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 480 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 483 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_min=0 (00000000000000000000000000000000) State 487 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 488 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 489 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 490 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 493 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 496 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- tmp_if_expr$2=0 (00000000000000000000000000000000) State 498 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- return_value_convert_hour$1=0 (00000000) State 500 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 501 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 502 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 503 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 505 file mc146818rtc.c line 272 function convert_hour thread 0 ---------------------------------------------------- return_value_convert_hour$1=0 (00000000) State 507 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- tmp_if_expr$2=0 (00000000000000000000000000000000) State 508 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 510 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 511 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 512 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 513 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=153 (00000000000000000000000010011001) State 516 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_sec=99 (00000000000000000000000001100011) State 520 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 521 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 522 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 523 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=217 (00000000000000000000000011011001) State 525 file mc146818rtc.c line 639 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_min=-1 (11111111111111111111111111111111) State 529 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 530 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 531 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 532 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=201 (00000000000000000000000011001001) State 534 file mc146818rtc.c line 639 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_hour=-1 (11111111111111111111111111111111) State 537 file mc146818rtc.c line 290 function get_next_alarm thread 0 ---------------------------------------------------- return_value_convert_hour$3=0 (00000000) State 539 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 540 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 541 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 542 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=255 (11111111) State 544 file mc146818rtc.c line 272 function convert_hour thread 0 ---------------------------------------------------- return_value_convert_hour$3=255 (11111111) State 546 file mc146818rtc.c line 290 function get_next_alarm thread 0 ---------------------------------------------------- cur_hour=255 (00000000000000000000000011111111) State 553 file mc146818rtc.c line 358 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 554 file mc146818rtc.c line 360 function get_next_alarm thread 0 ---------------------------------------------------- hour=-255 (11111111111111111111111100000001) State 555 file mc146818rtc.c line 361 function get_next_alarm thread 0 ---------------------------------------------------- min=-15299 (11111111111111111100010000111101) State 556 file mc146818rtc.c line 362 function get_next_alarm thread 0 ---------------------------------------------------- sec=-918039 (11111111111100011111110111101001) State 558 file mc146818rtc.c line 363 function get_next_alarm thread 0 ---------------------------------------------------- return_value_get_next_alarm$3=18446744073708719977 (1111111111111111111111111111111111111111111100110100111101101001) State 560 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- next_alarm_sec=-831639 (11111111111100110100111101101001) State 561 file mc146818rtc.c line 250 function check_update_timer thread 0 ---------------------------------------------------- global_rtc_state.next_alarm_time=5971969908533806936 (0101001011100000101100101111110110101111011110101100011101011000) State 564 file mc146818rtc.c line 918 function _rtc_initfn thread 0 ---------------------------------------------------- global_rtc_state.io_info=4294967295 (11111111111111111111111111111111) State 570 file main.c line 90 function main thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 571 file main.c line 27 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 572 file main.c line 27 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- nb=0 (00000000000000000000000000000000) State 573 file main.c line 29 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- above_4g_mem_size=0 (0000000000000000000000000000000000000000000000000000000000000000) State 574 file main.c line 29 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- above_4g_mem_size=0 (0000000000000000000000000000000000000000000000000000000000000000) State 575 file main.c line 35 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 578 file main.c line 36 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 579 file main.c line 36 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=21 (00000000000000000000000000010101) State 580 file main.c line 36 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 583 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@1]=0 (00000000) State 587 file main.c line 37 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 588 file main.c line 37 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=22 (00000000000000000000000000010110) State 589 file main.c line 37 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 592 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@2]=0 (00000000) State 595 file main.c line 42 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 599 file main.c line 46 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 600 file main.c line 46 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=23 (00000000000000000000000000010111) State 601 file main.c line 46 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 604 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@3]=0 (00000000) State 608 file main.c line 47 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 609 file main.c line 47 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=24 (00000000000000000000000000011000) State 610 file main.c line 47 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 613 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@4]=0 (00000000) State 617 file main.c line 48 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 618 file main.c line 48 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=48 (00000000000000000000000000110000) State 619 file main.c line 48 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 622 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@5]=0 (00000000) State 626 file main.c line 49 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 627 file main.c line 49 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=49 (00000000000000000000000000110001) State 628 file main.c line 49 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 631 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@6]=0 (00000000) State 634 file main.c line 54 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 638 file main.c line 58 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 639 file main.c line 58 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=52 (00000000000000000000000000110100) State 640 file main.c line 58 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 643 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@7]=0 (00000000) State 647 file main.c line 59 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 648 file main.c line 59 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=53 (00000000000000000000000000110101) State 649 file main.c line 59 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 652 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@8]=0 (00000000) State 654 file main.c line 61 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 657 file main.c line 62 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 658 file main.c line 62 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=91 (00000000000000000000000001011011) State 659 file main.c line 62 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 662 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@9]=0 (00000000) State 666 file main.c line 63 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 667 file main.c line 63 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=92 (00000000000000000000000001011100) State 668 file main.c line 63 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 671 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@10]=0 (00000000) State 675 file main.c line 64 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 676 file main.c line 64 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=93 (00000000000000000000000001011101) State 677 file main.c line 64 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 680 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@11]=0 (00000000) State 684 file main.c line 67 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 685 file main.c line 67 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=95 (00000000000000000000000001011111) State 686 file main.c line 67 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=0 (00000000000000000000000000000000) State 689 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@12]=0 (00000000) State 691 file main.c line 69 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- nb=0 (00000000000000000000000000000000) State 694 file main.c line 80 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=2 (00000000000000000000000000000010) State 695 file main.c line 81 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=6 (00000000000000000000000000000110) State 698 file main.c line 82 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 699 file main.c line 82 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- addr=20 (00000000000000000000000000010100) State 700 file main.c line 82 function pc_cmos_init_for_rtc thread 0 ---------------------------------------------------- val=6 (00000000000000000000000000000110) State 703 file mc146818rtc.c line 826 function _rtc_set_memory thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[(long int)addr!0@13]=6 (00000110) State 710 file rtc-verify.c line 249 function register_b_set_flag thread 0 ---------------------------------------------------- abcd=2 (00000010) State 712 file rtc-verify.c line 255 function register_b_set_flag thread 0 ---------------------------------------------------- return_value_cmos_read$1=0 (00000000) State 715 file rtc-verify.c line 255 function register_b_set_flag thread 0 ---------------------------------------------------- reg=11 (00001011) State 718 file rtc-verify.c line 24 function cmos_read thread 0 ---------------------------------------------------- s=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 719 file rtc-verify.c line 24 function cmos_read thread 0 ---------------------------------------------------- addr=112 (0000000001110000) State 720 file rtc-verify.c line 24 function cmos_read thread 0 ---------------------------------------------------- value=11 (00001011) State 723 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 724 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- addr=112 (00000000000000000000000001110000) State 725 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- data=11 (00000000000000000000000000001011) State 726 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 727 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 729 file mc146818rtc.c line 436 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.io_info=1 (00000000000000000000000000000001) State 730 file mc146818rtc.c line 437 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_index=11 (00001011) State 734 file rtc-verify.c line 25 function cmos_read thread 0 ---------------------------------------------------- return_value_qverify_inb$1=0 (00000000) State 737 file rtc-verify.c line 25 function cmos_read thread 0 ---------------------------------------------------- s=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 738 file rtc-verify.c line 25 function cmos_read thread 0 ---------------------------------------------------- addr=113 (0000000001110001) State 739 file qverify.c line 50 function qverify_inb thread 0 ---------------------------------------------------- return_value_cmos_ioport_read$1=0 (00000000000000000000000000000000) State 742 file qverify.c line 50 function qverify_inb thread 0 ---------------------------------------------------- opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 743 file qverify.c line 50 function qverify_inb thread 0 ---------------------------------------------------- addr=113 (00000000000000000000000001110001) State 744 file mc146818rtc.c line 755 function cmos_ioport_read thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 745 file mc146818rtc.c line 755 function cmos_ioport_read thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 746 file mc146818rtc.c line 756 function cmos_ioport_read thread 0 ---------------------------------------------------- ret=0 (00000000000000000000000000000000) State 748 file mc146818rtc.c line 765 function cmos_ioport_read thread 0 ---------------------------------------------------- global_rtc_state.io_info=4 (00000000000000000000000000000100) State 754 file mc146818rtc.c line 808 function cmos_ioport_read thread 0 ---------------------------------------------------- ret=2 (00000000000000000000000000000010) State 757 file mc146818rtc.c line 819 function cmos_ioport_read thread 0 ---------------------------------------------------- return_value_cmos_ioport_read$1=2 (00000000000000000000000000000010) State 760 file qverify.c line 50 function qverify_inb thread 0 ---------------------------------------------------- return_value_qverify_inb$1=2 (00000010) State 763 file rtc-verify.c line 25 function cmos_read thread 0 ---------------------------------------------------- return_value_cmos_read$1=2 (00000010) State 767 file rtc-verify.c line 255 function register_b_set_flag thread 0 ---------------------------------------------------- reg=11 (00001011) State 768 file rtc-verify.c line 255 function register_b_set_flag thread 0 ---------------------------------------------------- val=130 (10000010) State 771 file rtc-verify.c line 30 function cmos_write thread 0 ---------------------------------------------------- s=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 772 file rtc-verify.c line 30 function cmos_write thread 0 ---------------------------------------------------- addr=112 (0000000001110000) State 773 file rtc-verify.c line 30 function cmos_write thread 0 ---------------------------------------------------- value=11 (00001011) State 776 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 777 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- addr=112 (00000000000000000000000001110000) State 778 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- data=11 (00000000000000000000000000001011) State 779 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 780 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 782 file mc146818rtc.c line 436 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.io_info=1 (00000000000000000000000000000001) State 783 file mc146818rtc.c line 437 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_index=11 (00001011) State 789 file rtc-verify.c line 31 function cmos_write thread 0 ---------------------------------------------------- s=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 790 file rtc-verify.c line 31 function cmos_write thread 0 ---------------------------------------------------- addr=113 (0000000001110001) State 791 file rtc-verify.c line 31 function cmos_write thread 0 ---------------------------------------------------- value=130 (10000010) State 794 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 795 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- addr=113 (00000000000000000000000001110001) State 796 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- data=130 (00000000000000000000000010000010) State 797 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 798 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 802 file mc146818rtc.c line 440 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 803 file mc146818rtc.c line 396 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy_check=FALSE (00000000) State 804 file mc146818rtc.c line 398 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=0 (00000000000000000000000000000000) State 805 file mc146818rtc.c line 399 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=0 (00000000000000000000000000000000) State 807 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=153 (10011001) State 808 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=1 (00000000000000000000000000000001) State 811 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=0 (00000000) State 812 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=2 (00000000000000000000000000000010) State 815 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=217 (11011001) State 816 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=3 (00000000000000000000000000000011) State 819 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=0 (00000000) State 820 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=4 (00000000000000000000000000000100) State 823 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=201 (11001001) State 824 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=5 (00000000000000000000000000000101) State 827 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=0 (00000000) State 828 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=6 (00000000000000000000000000000110) State 831 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=2 (00000010) State 832 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=7 (00000000000000000000000000000111) State 835 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=255 (11111111) State 836 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=8 (00000000000000000000000000001000) State 839 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=2 (00000010) State 840 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=9 (00000000000000000000000000001001) State 843 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@1]=254 (11111110) State 844 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=10 (00000000000000000000000000001010) State 848 file mc146818rtc.c line 446 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.io_info=2 (00000000000000000000000000000010) State 857 file mc146818rtc.c line 546 function cmos_ioport_write thread 0 ---------------------------------------------------- return_value__rtc_running$3=FALSE (00000000) State 859 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 860 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 861 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- tmp_if_expr$2=FALSE (0) State 863 file mc146818rtc.c line 134 function _rtc_running thread 0 ---------------------------------------------------- tmp_if_expr$1=FALSE (0) State 865 file mc146818rtc.c line 134 function _rtc_running thread 0 ---------------------------------------------------- tmp_if_expr$1=TRUE (1) State 867 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- tmp_if_expr$2=TRUE (1) State 869 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- return_value__rtc_running$3=TRUE (00000001) State 874 file mc146818rtc.c line 547 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 875 file mc146818rtc.c line 702 function _rtc_update_time thread 0 ---------------------------------------------------- ret={ .tm_sec=4, .tm_min=1, .tm_hour=-1641215488, .tm_mday=1, .tm_mon=0, .tm_year=-1795, .tm_wday=57891794, .tm_yday=0, .tm_isdst=0, .$pad0=0, .tm_gmtoff=0, .tm_zone=NULL } ({ 00000000000000000000000000000100, 00000000000000000000000000000001, 10011110001011010000101000000000, 00000000000000000000000000000001, 00000000000000000000000000000000, 11111111111111111111100011111101, 00000011011100110101101111010010, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000 }) State 876 file mc146818rtc.c line 703 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 877 file mc146818rtc.c line 704 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 878 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 881 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 882 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 883 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 884 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 887 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 888 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 891 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 895 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 897 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=16325592958894080, .tv_usec=1389729127503280405 } ({ 0000000000111010000000000000101001010001000100000000000000000000, 0001001101001001010011110100011101000010110110001011100100010101 }) State 901 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-9130689856340297208 (1000000101001001010001011111001110111110100100101111101000001000) State 904 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-9130689856340297208 (1000000101001001010001011111001110111110100100101111101000001000) State 907 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-9130689856340297208 (1000000101001001010001011111001110111110100100101111101000001000) State 909 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=9316054217369254408 (1000000101001001010001011111001110111110100100101111101000001000) State 910 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=16 (0000000000000000000000000000000000000000000000000000000000010000) State 912 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=16 (0000000000000000000000000000000000000000000000000000000000010000) State 914 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=16 (0000000000000000000000000000000000000000000000000000000000010000) State 915 file mc146818rtc.c line 707 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 918 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- clock=&guest_sec!0@8 (0001111000000000000000000000000000000000000000000000000000000000) State 919 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- result=&ret!0@8.tm_sec (0001111100000000000000000000000000000000000000000000000000000000) State 924 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 925 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- tm=&ret!0@8.tm_sec (0001111100000000000000000000000000000000000000000000000000000000) State 926 file mc146818rtc.c line 678 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=0 (00000000000000000000000000000000) State 927 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=0 (00000000000000000000000000000000) State 929 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 930 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 931 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 932 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=4 (00000000000000000000000000000100) State 934 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=4 (00000000000000000000000000000100) State 937 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[0]=4 (00000100) State 938 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=0 (00000000000000000000000000000000) State 940 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 941 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 942 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 943 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 945 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=1 (00000000000000000000000000000001) State 948 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[2]=1 (00000001) State 950 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=0 (00000000000000000000000000000000) State 952 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 953 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 954 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 955 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-1641215488 (10011110001011010000101000000000) State 957 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=-8 (11111111111111111111111111111000) State 960 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[4]=248 (11111000) State 962 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=0 (00000000000000000000000000000000) State 964 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 965 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 966 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 967 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=57891795 (00000011011100110101101111010011) State 969 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=92626869 (00000101100001010101111110110101) State 972 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[6]=181 (10110101) State 973 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=0 (00000000000000000000000000000000) State 975 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 976 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 977 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 978 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 980 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=1 (00000000000000000000000000000001) State 983 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[7]=1 (00000001) State 984 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=0 (00000000000000000000000000000000) State 986 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 987 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 988 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 989 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 991 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=1 (00000000000000000000000000000001) State 994 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[8]=1 (00000001) State 995 file mc146818rtc.c line 695 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=105 (00000000000000000000000001101001) State 996 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=0 (00000000000000000000000000000000) State 998 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 999 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1000 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1001 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=5 (00000000000000000000000000000101) State 1003 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=5 (00000000000000000000000000000101) State 1006 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[9]=5 (00000101) State 1007 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=0 (00000000000000000000000000000000) State 1009 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1010 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1011 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1012 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 1014 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=1 (00000000000000000000000000000001) State 1017 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[50]=1 (00000001) State 1020 file mc146818rtc.c line 550 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[10]=38 (00100110) State 1021 file mc146818rtc.c line 551 function cmos_ioport_write thread 0 ---------------------------------------------------- data=130 (00000000000000000000000010000010) State 1024 file mc146818rtc.c line 566 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[12]=0 (00000000) State 1026 file mc146818rtc.c line 72 function qemu_irq_lower thread 0 ---------------------------------------------------- irq=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1027 file mc146818rtc.c line 72 function qemu_irq_lower thread 0 ---------------------------------------------------- irq=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1029 file mc146818rtc.c line 570 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[11]=130 (10000010) State 1032 file mc146818rtc.c line 574 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1033 file mc146818rtc.c line 216 function check_update_timer thread 0 ---------------------------------------------------- next_update_time=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1034 file mc146818rtc.c line 217 function check_update_timer thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1035 file mc146818rtc.c line 218 function check_update_timer thread 0 ---------------------------------------------------- next_alarm_sec=0 (00000000000000000000000000000000) State 1036 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1039 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1040 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1041 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1042 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1045 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 1046 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1049 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1053 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1055 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=-9214333491978125614, .tv_usec=56297977659607198 } ({ 1000000000100000000111001000001000111000101010001011111011010010, 0000000011001000000000101011011001011111111110010100100010011110 }) State 1059 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-8273584647331816144 (1000110100101110010100101001100100111100101010010101110100110000) State 1062 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-8273584647331816144 (1000110100101110010100101001100100111100101010010101110100110000) State 1065 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-8273584647331816144 (1000110100101110010100101001100100111100101010010101110100110000) State 1067 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=10173159426377735472 (1000110100101110010100101001100100111100101010010101110100110000) State 1068 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=857105209008481080 (0000101111100101000011001010010101111110000101100110001100111000) State 1070 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=857105209008481080 (0000101111100101000011001010010101111110000101100110001100111000) State 1072 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- guest_nsec=8481080 (0000000000000000000000000000000000000000100000010110100100111000) State 1073 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1076 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 1077 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1080 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1084 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1086 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=7493989779944505376, .tv_usec=8079673978245488704 } ({ 0110100000000000000000000000000000000000000000000000000000100000, 0111000000100000110001001010110011011110010010100010000001000000 }) State 1090 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=73992705096192 (0000000000000000010000110100101111000100111001110011101000000000) State 1093 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=73992705096192 (0000000000000000010000110100101111000100111001110011101000000000) State 1096 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=73992705096192 (0000000000000000010000110100101111000100111001110011101000000000) State 1098 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- next_update_time=73993696615112 (0000000000000000010000110100110000000000000000001001101011001000) State 1099 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- return_value_get_next_alarm$3=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1102 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1103 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_sec=0 (00000000000000000000000000000000) State 1104 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_min=0 (00000000000000000000000000000000) State 1105 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1106 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_hour=0 (00000000000000000000000000000000) State 1107 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_min=0 (00000000000000000000000000000000) State 1108 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_sec=0 (00000000000000000000000000000000) State 1109 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- hour=0 (00000000000000000000000000000000) State 1110 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- min=0 (00000000000000000000000000000000) State 1111 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- sec=0 (00000000000000000000000000000000) State 1114 file mc146818rtc.c line 280 function get_next_alarm thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1115 file mc146818rtc.c line 702 function _rtc_update_time thread 0 ---------------------------------------------------- ret={ .tm_sec=920717628, .tm_min=-69675, .tm_hour=1, .tm_mday=1, .tm_mon=1534197637, .tm_year=2117073048, .tm_wday=10, .tm_yday=0, .tm_isdst=0, .$pad0=0, .tm_gmtoff=0, .tm_zone=NULL } ({ 00110110111000010000100100111100, 11111111111111101110111111010101, 00000000000000000000000000000001, 00000000000000000000000000000001, 01011011011100011111111110000101, 01111110001011111111100010011000, 00000000000000000000000000001010, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000 }) State 1116 file mc146818rtc.c line 703 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1117 file mc146818rtc.c line 704 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1118 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1121 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1122 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1123 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1124 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1127 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 1128 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1131 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1135 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1137 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=4761830214818198235, .tv_usec=8180458817995098817 } ({ 0100001000010101011010110101100111100010111101011111001011011011, 0111000110000110110100111111001111111010010011110100101011000001 }) State 1141 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-6286438986825412632 (1010100011000010000101010000110001101000000110101100111111101000) State 1144 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-6286438986825412632 (1010100011000010000101010000110001101000000110101100111111101000) State 1147 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-6286438986825412632 (1010100011000010000101010000110001101000000110101100111111101000) State 1149 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=12160305086884138984 (1010100011000010000101010000110001101000000110101100111111101000) State 1150 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=2844250869514884592 (0010011101111000110011110001100010101001100001111101010111110000) State 1152 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=2844250869514884592 (0010011101111000110011110001100010101001100001111101010111110000) State 1154 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=2844250869514884592 (0010011101111000110011110001100010101001100001111101010111110000) State 1155 file mc146818rtc.c line 707 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=2844250869 (0000000000000000000000000000000010101001100001111101001011110101) State 1158 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- clock=&guest_sec!0@9 (0010000100000000000000000000000000000000000000000000000000000000) State 1159 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- result=&ret!0@9.tm_sec (0010001000000000000000000000000000000000000000000000000000000000) State 1164 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1165 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- tm=&ret!0@9.tm_sec (0010001000000000000000000000000000000000000000000000000000000000) State 1166 file mc146818rtc.c line 678 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=0 (00000000000000000000000000000000) State 1167 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=0 (00000000000000000000000000000000) State 1169 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1170 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1171 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1172 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=920717628 (00110110111000010000100100111100) State 1174 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=1473148200 (01010111110011100111010100101000) State 1177 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[0]=40 (00101000) State 1178 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=0 (00000000000000000000000000000000) State 1180 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1181 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1182 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1183 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-69675 (11111111111111101110111111010101) State 1185 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=-5 (11111111111111111111111111111011) State 1188 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[2]=251 (11111011) State 1190 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=0 (00000000000000000000000000000000) State 1192 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1193 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1194 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1195 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 1197 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=1 (00000000000000000000000000000001) State 1200 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[4]=1 (00000001) State 1202 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=0 (00000000000000000000000000000000) State 1204 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1205 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1206 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1207 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=11 (00000000000000000000000000001011) State 1209 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=17 (00000000000000000000000000010001) State 1212 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[6]=17 (00010001) State 1213 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=0 (00000000000000000000000000000000) State 1215 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1216 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1217 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1218 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 1220 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=1 (00000000000000000000000000000001) State 1223 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[7]=1 (00000001) State 1224 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=0 (00000000000000000000000000000000) State 1226 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1227 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1228 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1229 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1534197638 (01011011011100011111111110000110) State 1231 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=-1840251080 (10010010010011111111111100111000) State 1234 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[8]=56 (00111000) State 1235 file mc146818rtc.c line 695 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=2117074948 (01111110001100000000000000000100) State 1236 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=0 (00000000000000000000000000000000) State 1238 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1239 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1240 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1241 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=48 (00000000000000000000000000110000) State 1243 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=72 (00000000000000000000000001001000) State 1246 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[9]=72 (01001000) State 1247 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=0 (00000000000000000000000000000000) State 1249 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1250 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1251 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1252 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=21170749 (00000001010000110000101000111101) State 1254 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=33873193 (00000010000001001101110100101001) State 1257 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[50]=41 (00101001) State 1261 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1262 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1263 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1264 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1267 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_sec=0 (00000000000000000000000000000000) State 1271 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1272 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1273 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1274 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1277 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_min=0 (00000000000000000000000000000000) State 1281 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1282 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1283 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1284 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1287 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1290 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- tmp_if_expr$2=0 (00000000000000000000000000000000) State 1292 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- return_value_convert_hour$1=0 (00000000) State 1294 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1295 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1296 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 1297 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 1299 file mc146818rtc.c line 272 function convert_hour thread 0 ---------------------------------------------------- return_value_convert_hour$1=0 (00000000) State 1301 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- tmp_if_expr$2=0 (00000000000000000000000000000000) State 1302 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1304 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1305 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1306 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1307 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=40 (00000000000000000000000000101000) State 1310 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_sec=28 (00000000000000000000000000011100) State 1314 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1315 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1316 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1317 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=251 (00000000000000000000000011111011) State 1319 file mc146818rtc.c line 639 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_min=-1 (11111111111111111111111111111111) State 1323 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1324 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1325 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1326 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 1329 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_hour=1 (00000000000000000000000000000001) State 1332 file mc146818rtc.c line 290 function get_next_alarm thread 0 ---------------------------------------------------- return_value_convert_hour$3=0 (00000000) State 1334 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1335 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1336 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 1337 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=1 (00000001) State 1339 file mc146818rtc.c line 272 function convert_hour thread 0 ---------------------------------------------------- return_value_convert_hour$3=1 (00000001) State 1341 file mc146818rtc.c line 290 function get_next_alarm thread 0 ---------------------------------------------------- cur_hour=1 (00000000000000000000000000000001) State 1348 file mc146818rtc.c line 358 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1349 file mc146818rtc.c line 360 function get_next_alarm thread 0 ---------------------------------------------------- hour=-1 (11111111111111111111111111111111) State 1350 file mc146818rtc.c line 361 function get_next_alarm thread 0 ---------------------------------------------------- min=-59 (11111111111111111111111111000101) State 1351 file mc146818rtc.c line 362 function get_next_alarm thread 0 ---------------------------------------------------- sec=-3568 (11111111111111111111001000010000) State 1353 file mc146818rtc.c line 363 function get_next_alarm thread 0 ---------------------------------------------------- return_value_get_next_alarm$3=82832 (0000000000000000000000000000000000000000000000010100001110010000) State 1355 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- next_alarm_sec=82832 (00000000000000010100001110010000) State 1356 file mc146818rtc.c line 250 function check_update_timer thread 0 ---------------------------------------------------- global_rtc_state.next_alarm_time=156824696615112 (0000000000000000100011101010000110011000010101010111000011001000) State 1365 file rtc-verify.c line 256 function register_b_set_flag thread 0 ---------------------------------------------------- reg=10 (00001010) State 1366 file rtc-verify.c line 256 function register_b_set_flag thread 0 ---------------------------------------------------- val=118 (01110110) State 1369 file rtc-verify.c line 30 function cmos_write thread 0 ---------------------------------------------------- s=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 1370 file rtc-verify.c line 30 function cmos_write thread 0 ---------------------------------------------------- addr=112 (0000000001110000) State 1371 file rtc-verify.c line 30 function cmos_write thread 0 ---------------------------------------------------- value=10 (00001010) State 1374 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1375 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- addr=112 (00000000000000000000000001110000) State 1376 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- data=10 (00000000000000000000000000001010) State 1377 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1378 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1380 file mc146818rtc.c line 436 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.io_info=1 (00000000000000000000000000000001) State 1381 file mc146818rtc.c line 437 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_index=10 (00001010) State 1387 file rtc-verify.c line 31 function cmos_write thread 0 ---------------------------------------------------- s=&_global_qverify.rtc_state (0000010100000000000000000000000000000000000000000000000000000000) State 1388 file rtc-verify.c line 31 function cmos_write thread 0 ---------------------------------------------------- addr=113 (0000000001110001) State 1389 file rtc-verify.c line 31 function cmos_write thread 0 ---------------------------------------------------- value=118 (01110110) State 1392 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- opaque=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1393 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- addr=113 (00000000000000000000000001110001) State 1394 file qverify.c line 45 function qverify_outb thread 0 ---------------------------------------------------- data=118 (00000000000000000000000001110110) State 1395 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1396 file mc146818rtc.c line 433 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1400 file mc146818rtc.c line 440 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1401 file mc146818rtc.c line 396 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy_check=TRUE (00000001) State 1402 file mc146818rtc.c line 398 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=0 (00000000000000000000000000000000) State 1403 file mc146818rtc.c line 399 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=0 (00000000000000000000000000000000) State 1405 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=40 (00101000) State 1406 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=1 (00000000000000000000000000000001) State 1409 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=0 (00000000) State 1410 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=2 (00000000000000000000000000000010) State 1413 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=251 (11111011) State 1414 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=3 (00000000000000000000000000000011) State 1417 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=0 (00000000) State 1418 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=4 (00000000000000000000000000000100) State 1421 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=1 (00000001) State 1422 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=5 (00000000000000000000000000000101) State 1425 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=0 (00000000) State 1426 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=6 (00000000000000000000000000000110) State 1429 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=17 (00010001) State 1430 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=7 (00000000000000000000000000000111) State 1433 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=1 (00000001) State 1434 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=8 (00000000000000000000000000001000) State 1437 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=56 (00111000) State 1438 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=9 (00000000000000000000000000001001) State 1441 file mc146818rtc.c line 403 function copy_data thread 0 ---------------------------------------------------- global_rtc_state.cmos_data_copy[(long int)rtc_data_addr!0@2]=72 (01001000) State 1442 file mc146818rtc.c line 401 function copy_data thread 0 ---------------------------------------------------- rtc_data_addr=10 (00000000000000000000000000001010) State 1446 file mc146818rtc.c line 446 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.io_info=2 (00000000000000000000000000000010) State 1453 file mc146818rtc.c line 501 function cmos_ioport_write thread 0 ---------------------------------------------------- return_value__rtc_running$2=FALSE (00000000) State 1455 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1456 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1457 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- tmp_if_expr$2=FALSE (0) State 1459 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- tmp_if_expr$2=FALSE (0) State 1460 file mc146818rtc.c line 133 function _rtc_running thread 0 ---------------------------------------------------- return_value__rtc_running$2=FALSE (00000000) State 1463 file mc146818rtc.c line 508 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[10]=38 (00100110) State 1465 file mc146818rtc.c line 520 function cmos_ioport_write thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[10]=118 (01110110) State 1468 file mc146818rtc.c line 525 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1469 file mc146818rtc.c line 216 function check_update_timer thread 0 ---------------------------------------------------- next_update_time=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1470 file mc146818rtc.c line 217 function check_update_timer thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1471 file mc146818rtc.c line 218 function check_update_timer thread 0 ---------------------------------------------------- next_alarm_sec=0 (00000000000000000000000000000000) State 1472 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1475 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1476 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1477 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1478 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1481 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 1482 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1485 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1489 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1491 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=-4607164826613968512, .tv_usec=-8461541727267186795 } ({ 1100000000010000000100000000000000000000000000000001000110000000, 1000101010010010100100001010000101010110000110000001011110010101 }) State 1495 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-7411523885055926776 (1001100100100100111110100100101101100010111010110001111000001000) State 1498 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-7411523885055926776 (1001100100100100111110100100101101100010111010110001111000001000) State 1501 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-7411523885055926776 (1001100100100100111110100100101101100010111010110001111000001000) State 1503 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=11035220188653624840 (1001100100100100111110100100101101100010111010110001111000001000) State 1504 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=1719165971284370448 (0001011111011011101101000101011110100100010110000010010000010000) State 1506 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=1719165971284370448 (0001011111011011101101000101011110100100010110000010010000010000) State 1508 file mc146818rtc.c line 241 function check_update_timer thread 0 ---------------------------------------------------- guest_nsec=284370448 (0000000000000000000000000000000000010000111100110010011000010000) State 1509 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1512 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 1513 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1516 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1520 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1522 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=457258307346788037, .tv_usec=-6230272687086116832 } ({ 0000011001011000100000100000001000000100000000000110111011000101, 1010100110001001101000000000000000100000011010011110000000100000 }) State 1526 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-4300628196065480960 (1100010001010001000110010111000011111110011111001110111100000000) State 1529 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-4300628196065480960 (1100010001010001000110010111000011111110011111001110111100000000) State 1532 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$2=-4300628196065480960 (1100010001010001000110010111000011111110011111001110111100000000) State 1534 file mc146818rtc.c line 243 function check_update_timer thread 0 ---------------------------------------------------- next_update_time=14146115878359700208 (1100010001010001000110010111000100101001001001001001001011110000) State 1535 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- return_value_get_next_alarm$3=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1538 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1539 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_sec=0 (00000000000000000000000000000000) State 1540 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_min=0 (00000000000000000000000000000000) State 1541 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1542 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_hour=0 (00000000000000000000000000000000) State 1543 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_min=0 (00000000000000000000000000000000) State 1544 file mc146818rtc.c line 277 function get_next_alarm thread 0 ---------------------------------------------------- cur_sec=0 (00000000000000000000000000000000) State 1545 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- hour=0 (00000000000000000000000000000000) State 1546 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- min=0 (00000000000000000000000000000000) State 1547 file mc146818rtc.c line 278 function get_next_alarm thread 0 ---------------------------------------------------- sec=0 (00000000000000000000000000000000) State 1550 file mc146818rtc.c line 280 function get_next_alarm thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1551 file mc146818rtc.c line 702 function _rtc_update_time thread 0 ---------------------------------------------------- ret={ .tm_sec=1, .tm_min=-1006632960, .tm_hour=1757187341, .tm_mday=36373, .tm_mon=820219431, .tm_year=-1866395580, .tm_wday=9, .tm_yday=0, .tm_isdst=0, .$pad0=0, .tm_gmtoff=0, .tm_zone=NULL } ({ 00000000000000000000000000000001, 11000100000000000000000000000000, 01101000101111001000110100001101, 00000000000000001000111000010101, 00110000111000111000111000100111, 10010000110000010001000001000100, 00000000000000000000000000001001, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000 }) State 1552 file mc146818rtc.c line 703 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1553 file mc146818rtc.c line 704 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1554 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1557 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1558 file mc146818rtc.c line 139 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1559 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1560 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1563 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- clock=&_vm_clock.active_timers (0000001100000000000000000000000000000000000000000000000000000000) State 1564 file qemu-timer.c line 170 function qemu_get_clock_ns thread 0 ---------------------------------------------------- now=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1567 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_get_clock$2=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1571 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=0 (0000000000000000000000000000000000000000000000000000000000000000) State 1573 file qemu-timer.h line 90 function get_clock_realtime thread 0 ---------------------------------------------------- tv={ .tv_sec=4628174323822654860, .tv_usec=4887492724705942215 } ({ 0100000000111010100101000000011011000010000010000111010110001100, 0100001111010011110111001011110011110010011001110101101011000111 }) State 1577 file qemu-timer.h line 93 function get_clock_realtime thread 0 ---------------------------------------------------- return_value_get_clock_realtime$1=-4094823900738547368 (1100011100101100010000110101101110001010101100110001000101011000) State 1580 file qemu-timer.c line 209 function get_clock thread 0 ---------------------------------------------------- return_value_get_clock$2=-4094823900738547368 (1100011100101100010000110101101110001010101100110001000101011000) State 1583 file qemu-timer.c line 177 function qemu_get_clock_ns thread 0 ---------------------------------------------------- return_value_qemu_get_clock_ns$1=-4094823900738547368 (1100011100101100010000110101101110001010101100110001000101011000) State 1585 file mc146818rtc.c line 140 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_clock=14351920172971004248 (1100011100101100010000110101101110001010101100110001000101011000) State 1586 file mc146818rtc.c line 142 function get_guest_rtc_ns thread 0 ---------------------------------------------------- guest_rtc=5035865955601749856 (0100010111100010111111010110011111001100001000000001011101100000) State 1588 file mc146818rtc.c line 144 function get_guest_rtc_ns thread 0 ---------------------------------------------------- return_value_get_guest_rtc_ns$1=5035865955601749856 (0100010111100010111111010110011111001100001000000001011101100000) State 1590 file mc146818rtc.c line 706 function _rtc_update_time thread 0 ---------------------------------------------------- guest_nsec=5035865955601749856 (0100010111100010111111010110011111001100001000000001011101100000) State 1591 file mc146818rtc.c line 707 function _rtc_update_time thread 0 ---------------------------------------------------- guest_sec=5035865955 (0000000000000000000000000000000100101100001010010011011101100011) State 1594 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- clock=&guest_sec!0@13 (0010101000000000000000000000000000000000000000000000000000000000) State 1595 file mc146818rtc.c line 708 function _rtc_update_time thread 0 ---------------------------------------------------- result=&ret!0@13.tm_sec (0010101100000000000000000000000000000000000000000000000000000000) State 1600 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1601 file mc146818rtc.c line 711 function _rtc_update_time thread 0 ---------------------------------------------------- tm=&ret!0@13.tm_sec (0010101100000000000000000000000000000000000000000000000000000000) State 1602 file mc146818rtc.c line 678 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=0 (00000000000000000000000000000000) State 1603 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=0 (00000000000000000000000000000000) State 1605 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1606 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1607 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1608 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 1610 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$1=1 (00000000000000000000000000000001) State 1613 file mc146818rtc.c line 680 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[0]=1 (00000001) State 1614 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=0 (00000000000000000000000000000000) State 1616 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1617 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1618 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1619 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-1006632960 (11000100000000000000000000000000) State 1621 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$2=-1610612736 (10100000000000000000000000000000) State 1624 file mc146818rtc.c line 681 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[2]=0 (00000000) State 1626 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=0 (00000000000000000000000000000000) State 1628 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1629 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1630 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1631 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=1757187341 (01101000101111001000110100001101) State 1633 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$3=-1483467551 (10100111100101000001010011100001) State 1636 file mc146818rtc.c line 684 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[4]=225 (11100001) State 1638 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=0 (00000000000000000000000000000000) State 1640 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1641 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1642 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1643 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=10 (00000000000000000000000000001010) State 1645 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$6=16 (00000000000000000000000000010000) State 1648 file mc146818rtc.c line 692 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[6]=16 (00010000) State 1649 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=0 (00000000000000000000000000000000) State 1651 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1652 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1653 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1654 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=36373 (00000000000000001000111000010101) State 1656 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$7=58195 (00000000000000001110001101010011) State 1659 file mc146818rtc.c line 693 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[7]=83 (01010011) State 1660 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=0 (00000000000000000000000000000000) State 1662 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1663 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1664 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1665 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=820219432 (00110000111000111000111000101000) State 1667 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$8=1312351090 (01001110001110001110001101110010) State 1670 file mc146818rtc.c line 694 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[8]=114 (01110010) State 1671 file mc146818rtc.c line 695 function _rtc_set_cmos thread 0 ---------------------------------------------------- year=-1866393680 (10010000110000010001011110110000) State 1672 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=0 (00000000000000000000000000000000) State 1674 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1675 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1676 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1677 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-80 (11111111111111111111111110110000) State 1679 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$9=-128 (11111111111111111111111110000000) State 1682 file mc146818rtc.c line 696 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[9]=128 (10000000) State 1683 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=0 (00000000000000000000000000000000) State 1685 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1686 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1687 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1688 file mc146818rtc.c line 629 function _rtc_to_bcd thread 0 ---------------------------------------------------- a=-18663936 (11111110111000110011011000000000) State 1690 file mc146818rtc.c line 632 function _rtc_to_bcd thread 0 ---------------------------------------------------- return_value__rtc_to_bcd$10=-6 (11111111111111111111111111111010) State 1693 file mc146818rtc.c line 697 function _rtc_set_cmos thread 0 ---------------------------------------------------- global_rtc_state.cmos_data[50]=250 (11111010) State 1697 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1698 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1699 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1700 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1703 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_sec=0 (00000000000000000000000000000000) State 1707 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1708 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1709 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1710 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1713 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_min=0 (00000000000000000000000000000000) State 1717 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1718 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1719 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1720 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1723 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1726 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- tmp_if_expr$2=0 (00000000000000000000000000000000) State 1728 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- return_value_convert_hour$1=0 (00000000) State 1730 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1731 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1732 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 1733 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 1735 file mc146818rtc.c line 272 function convert_hour thread 0 ---------------------------------------------------- return_value_convert_hour$1=0 (00000000) State 1737 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- tmp_if_expr$2=0 (00000000000000000000000000000000) State 1738 file mc146818rtc.c line 285 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1740 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1741 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1742 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1743 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=1 (00000000000000000000000000000001) State 1746 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_sec=1 (00000000000000000000000000000001) State 1750 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1751 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1752 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1753 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1756 file mc146818rtc.c line 644 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_min=0 (00000000000000000000000000000000) State 1760 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1761 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1762 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=0 (00000000000000000000000000000000) State 1763 file mc146818rtc.c line 638 function _rtc_from_bcd thread 0 ---------------------------------------------------- a=225 (00000000000000000000000011100001) State 1765 file mc146818rtc.c line 639 function _rtc_from_bcd thread 0 ---------------------------------------------------- cur_hour=-1 (11111111111111111111111111111111) State 1768 file mc146818rtc.c line 290 function get_next_alarm thread 0 ---------------------------------------------------- return_value_convert_hour$3=0 (00000000) State 1770 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 1771 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1772 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=0 (00000000) State 1773 file mc146818rtc.c line 266 function convert_hour thread 0 ---------------------------------------------------- hour=255 (11111111) State 1775 file mc146818rtc.c line 272 function convert_hour thread 0 ---------------------------------------------------- return_value_convert_hour$3=255 (11111111) State 1777 file mc146818rtc.c line 290 function get_next_alarm thread 0 ---------------------------------------------------- cur_hour=255 (00000000000000000000000011111111) State 1784 file mc146818rtc.c line 358 function get_next_alarm thread 0 ---------------------------------------------------- alarm_hour=0 (00000000000000000000000000000000) State 1785 file mc146818rtc.c line 360 function get_next_alarm thread 0 ---------------------------------------------------- hour=-255 (11111111111111111111111100000001) State 1786 file mc146818rtc.c line 361 function get_next_alarm thread 0 ---------------------------------------------------- min=-15300 (11111111111111111100010000111100) State 1787 file mc146818rtc.c line 362 function get_next_alarm thread 0 ---------------------------------------------------- sec=-918001 (11111111111100011111111000001111) State 1789 file mc146818rtc.c line 363 function get_next_alarm thread 0 ---------------------------------------------------- return_value_get_next_alarm$3=18446744073708720015 (1111111111111111111111111111111111111111111100110100111110001111) State 1791 file mc146818rtc.c line 249 function check_update_timer thread 0 ---------------------------------------------------- next_alarm_sec=-831601 (11111111111100110100111110001111) State 1792 file mc146818rtc.c line 250 function check_update_timer thread 0 ---------------------------------------------------- global_rtc_state.next_alarm_time=14145284276359700208 (1100010001001110001001010001101010111011010101101001111011110000) State 1797 file mc146818rtc.c line 528 function cmos_ioport_write thread 0 ---------------------------------------------------- s=&global_rtc_state.cmos_data[0] (0000011000000000000000000000000000000000000000000000000000000000) State 1800 file mc146818rtc.c line 421 function assert_equal_copy_data thread 0 ---------------------------------------------------- rtc_data_addr=0 (00000000000000000000000000000000) State 1801 file mc146818rtc.c line 422 function assert_equal_copy_data thread 0 ---------------------------------------------------- rtc_data_addr=0 (00000000000000000000000000000000) Violated property: file mc146818rtc.c line 426 function assert_equal_copy_data assertion s->cmos_data_copy[rtc_data_addr] == s->cmos_data[rtc_data_addr] FALSE VERIFICATION FAILED make: *** [verify] Error 10