/root/src/xen/xen/include/asm/altp2m.h
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Alternate p2m HVM |
3 | | * Copyright (c) 2014, Intel Corporation. |
4 | | * |
5 | | * This program is free software; you can redistribute it and/or modify it |
6 | | * under the terms and conditions of the GNU General Public License, |
7 | | * version 2, as published by the Free Software Foundation. |
8 | | * |
9 | | * This program is distributed in the hope it will be useful, but WITHOUT |
10 | | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
11 | | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
12 | | * more details. |
13 | | * |
14 | | * You should have received a copy of the GNU General Public License along with |
15 | | * this program; If not, see <http://www.gnu.org/licenses/>. |
16 | | */ |
17 | | |
18 | | #ifndef __ASM_X86_ALTP2M_H |
19 | | #define __ASM_X86_ALTP2M_H |
20 | | |
21 | | #include <xen/types.h> |
22 | | #include <xen/sched.h> /* for struct vcpu, struct domain */ |
23 | | #include <asm/hvm/vcpu.h> /* for vcpu_altp2m */ |
24 | | |
25 | | /* Alternate p2m HVM on/off per domain */ |
26 | | static inline bool_t altp2m_active(const struct domain *d) |
27 | 6.21M | { |
28 | 6.21M | return d->arch.altp2m_active; |
29 | 6.21M | } Unexecuted instantiation: monitor.c:altp2m_active Line | Count | Source | 27 | 11 | { | 28 | 11 | return d->arch.altp2m_active; | 29 | 11 | } |
Line | Count | Source | 27 | 5.14M | { | 28 | 5.14M | return d->arch.altp2m_active; | 29 | 5.14M | } |
Line | Count | Source | 27 | 1.06M | { | 28 | 1.06M | return d->arch.altp2m_active; | 29 | 1.06M | } |
Unexecuted instantiation: altp2m.c:altp2m_active Unexecuted instantiation: mem_sharing.c:altp2m_active Unexecuted instantiation: mem_access.c:altp2m_active |
30 | | |
31 | | /* Alternate p2m VCPU */ |
32 | | void altp2m_vcpu_initialise(struct vcpu *v); |
33 | | void altp2m_vcpu_destroy(struct vcpu *v); |
34 | | void altp2m_vcpu_reset(struct vcpu *v); |
35 | | |
36 | | static inline uint16_t altp2m_vcpu_idx(const struct vcpu *v) |
37 | 0 | { |
38 | 0 | return vcpu_altp2m(v).p2midx; |
39 | 0 | } Unexecuted instantiation: monitor.c:altp2m_vcpu_idx Unexecuted instantiation: hvm.c:altp2m_vcpu_idx Unexecuted instantiation: vmx.c:altp2m_vcpu_idx Unexecuted instantiation: p2m.c:altp2m_vcpu_idx Unexecuted instantiation: altp2m.c:altp2m_vcpu_idx Unexecuted instantiation: mem_sharing.c:altp2m_vcpu_idx Unexecuted instantiation: mem_access.c:altp2m_vcpu_idx |
40 | | |
41 | | #endif /* __ASM_X86_ALTP2M_H */ |