| Message ID | 20170830183258.14612-33-proskurin@sec.in.tum.de (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
diff --git a/xen/include/asm-arm/altp2m.h b/xen/include/asm-arm/altp2m.h index f9e14ab1dc..eff6bd5a38 100644 --- a/xen/include/asm-arm/altp2m.h +++ b/xen/include/asm-arm/altp2m.h @@ -35,9 +35,7 @@ static inline bool_t altp2m_active(const struct domain *d) /* Alternate p2m VCPU */ static inline uint16_t altp2m_vcpu_idx(const struct vcpu *v) { - /* Not implemented on ARM, should not be reached. */ - BUG(); - return 0; + return v->arch.ap2m_idx; } int altp2m_init(struct domain *d);
Signed-off-by: Sergej Proskurin <proskurin@sec.in.tum.de> --- Cc: Stefano Stabellini <sstabellini@kernel.org> Cc: Julien Grall <julien.grall@arm.com> --- xen/include/asm-arm/altp2m.h | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-)