@@ -54,7 +54,7 @@ static inline int monitor_init_domain(struct domain *d)
static inline void monitor_cleanup_domain(struct domain *d)
{
- /* No arch-specific domain cleanup on ARM. */
+ memset(&d->monitor, 0, sizeof(d->monitor));
}
static inline
@@ -39,8 +39,6 @@ void vm_event_cleanup_domain(struct domain *d, struct vm_event_domain *ved)
/* Uninitialize specified subsystem. */
if ( &d->vm_event->monitor == ved )
monitor_cleanup_domain(d);
-
- memset(&d->monitor, 0, sizeof(d->monitor));
}
static inline void vm_event_toggle_singlestep(struct domain *d, struct vcpu *v)
d->monitor is a monitor subsystem resource, clean it up in the proper stub. Signed-off-by: Corneliu ZUZU <czuzu@bitdefender.com> --- xen/include/asm-arm/monitor.h | 2 +- xen/include/asm-arm/vm_event.h | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-)