1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3 * vm_event.h: stubs for architecture specific vm_event handling routines
4 *
5 * Copyright (c) 2015 Tamas K Lengyel (tamas@tklengyel.com)
6 */
7
8 #ifndef __ASM_GENERIC_VM_EVENT_H__
9 #define __ASM_GENERIC_VM_EVENT_H__
10
11 #include <xen/sched.h>
12 #include <public/vm_event.h>
13
vm_event_init_domain(struct domain * d)14 static inline int vm_event_init_domain(struct domain *d)
15 {
16 /* Nothing to do. */
17 return 0;
18 }
19
vm_event_cleanup_domain(struct domain * d)20 static inline void vm_event_cleanup_domain(struct domain *d)
21 {
22 memset(&d->monitor, 0, sizeof(d->monitor));
23 }
24
vm_event_toggle_singlestep(struct domain * d,struct vcpu * v,vm_event_response_t * rsp)25 static inline void vm_event_toggle_singlestep(struct domain *d, struct vcpu *v,
26 vm_event_response_t *rsp)
27 {
28 /* Nothing to do. */
29 }
30
31 static inline
vm_event_register_write_resume(struct vcpu * v,vm_event_response_t * rsp)32 void vm_event_register_write_resume(struct vcpu *v, vm_event_response_t *rsp)
33 {
34 /* Nothing to do. */
35 }
36
37 static inline
vm_event_emulate_check(struct vcpu * v,vm_event_response_t * rsp)38 void vm_event_emulate_check(struct vcpu *v, vm_event_response_t *rsp)
39 {
40 /* Nothing to do. */
41 }
42
43 static inline
vm_event_sync_event(struct vcpu * v,bool value)44 void vm_event_sync_event(struct vcpu *v, bool value)
45 {
46 /* Nothing to do. */
47 }
48
49 static inline
vm_event_reset_vmtrace(struct vcpu * v)50 void vm_event_reset_vmtrace(struct vcpu *v)
51 {
52 /* Nothing to do. */
53 }
54
55 #endif /* __ASM_GENERIC_VM_EVENT_H__ */
56