read_gc0_compare
*v = (long)read_gc0_compare();
_kvm_vz_restore_htimer(vcpu, read_gc0_compare(),
compare = read_gc0_compare();
val = read_gc0_compare();