}
if ( may_defer && unlikely(currad->monitor.write_ctrlreg_enabled &
- monitor_ctrlreg_bitmask(VM_EVENT_X86_CR0)) &&
- value != old_value )
+ monitor_ctrlreg_bitmask(VM_EVENT_X86_CR0)) )
{
ASSERT(currad->event_write_data != NULL);
struct arch_domain *currad = &v->domain->arch;
if ( may_defer && unlikely(currad->monitor.write_ctrlreg_enabled &
- monitor_ctrlreg_bitmask(VM_EVENT_X86_CR3)) &&
- value != old )
+ monitor_ctrlreg_bitmask(VM_EVENT_X86_CR3)) )
{
ASSERT(currad->event_write_data != NULL);
}
if ( may_defer && unlikely(currad->monitor.write_ctrlreg_enabled &
- monitor_ctrlreg_bitmask(VM_EVENT_X86_CR4)) &&
- value != old_cr )
+ monitor_ctrlreg_bitmask(VM_EVENT_X86_CR4)) )
{
ASSERT(currad->event_write_data != NULL);