Inconsistency between cpu_tb_exec() and qemu_plugin_register_vcpu_tb_exec_cb()?