1 /*
2 * Alternate p2m
3 *
4 * Copyright (c) 2014, Intel Corporation.
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_ALTP2M_H
20 #define __ASM_ARM_ALTP2M_H
21
22 #include <xen/sched.h>
23
24 /* Alternate p2m on/off per domain */
altp2m_active(const struct domain * d)25 static inline bool altp2m_active(const struct domain *d)
26 {
27 /* Not implemented on ARM. */
28 return false;
29 }
30
31 /* Alternate p2m VCPU */
altp2m_vcpu_idx(const struct vcpu * v)32 static inline uint16_t altp2m_vcpu_idx(const struct vcpu *v)
33 {
34 /* Not implemented on ARM, should not be reached. */
35 BUG();
36 return 0;
37 }
38
39 #endif /* __ASM_ARM_ALTP2M_H */
40