1 /*
2 * vm_event.h: architecture specific vm_event handling routines
3 *
4 * Copyright (c) 2015 Tamas K Lengyel (tamas@tklengyel.com)
5 *
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms and conditions of the GNU General Public License,
8 * version 2, as published by the Free Software Foundation.
9 *
10 * This program is distributed in the hope it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
13 * more details.
14 *
15 * You should have received a copy of the GNU General Public License along with
16 * this program; If not, see <http://www.gnu.org/licenses/>.
17 */
18
19 #ifndef __ASM_ARM_VM_EVENT_H__
20 #define __ASM_ARM_VM_EVENT_H__
21
22 #include <xen/sched.h>
23 #include <xen/vm_event.h>
24 #include <public/domctl.h>
25
vm_event_init_domain(struct domain * d)26 static inline int vm_event_init_domain(struct domain *d)
27 {
28 /* Nothing to do. */
29 return 0;
30 }
31
vm_event_cleanup_domain(struct domain * d)32 static inline void vm_event_cleanup_domain(struct domain *d)
33 {
34 memset(&d->monitor, 0, sizeof(d->monitor));
35 }
36
vm_event_toggle_singlestep(struct domain * d,struct vcpu * v,vm_event_response_t * rsp)37 static inline void vm_event_toggle_singlestep(struct domain *d, struct vcpu *v,
38 vm_event_response_t *rsp)
39 {
40 /* Not supported on ARM. */
41 }
42
43 static inline
vm_event_register_write_resume(struct vcpu * v,vm_event_response_t * rsp)44 void vm_event_register_write_resume(struct vcpu *v, vm_event_response_t *rsp)
45 {
46 /* Not supported on ARM. */
47 }
48
49 static inline
vm_event_emulate_check(struct vcpu * v,vm_event_response_t * rsp)50 void vm_event_emulate_check(struct vcpu *v, vm_event_response_t *rsp)
51 {
52 /* Not supported on ARM. */
53 }
54
55 #endif /* __ASM_ARM_VM_EVENT_H__ */
56