diff --git a/xen/arch/x86/include/asm/paging.h b/xen/arch/x86/include/asm/paging.h index 8a2a0af408..94c31a268e 100644 --- a/xen/arch/x86/include/asm/paging.h +++ b/xen/arch/x86/include/asm/paging.h @@ -225,7 +225,6 @@ int paging_enable(struct domain *d, u32 mode); #define paging_get_hostmode(v) ((v)->arch.paging.mode) #define paging_get_nestedmode(v) ((v)->arch.paging.nestedmode) -const struct paging_mode *paging_get_mode(struct vcpu *v); void paging_update_nestedmode(struct vcpu *v); /* Page fault handler diff --git a/xen/arch/x86/mm/paging.c b/xen/arch/x86/mm/paging.c index c77f4c1dac..165e0f88c2 100644 --- a/xen/arch/x86/mm/paging.c +++ b/xen/arch/x86/mm/paging.c @@ -946,14 +946,6 @@ void paging_dump_vcpu_info(struct vcpu *v) } } -const struct paging_mode *paging_get_mode(struct vcpu *v) -{ - if (!nestedhvm_is_n2(v)) - return paging_get_hostmode(v); - - return paging_get_nestedmode(v); -} - #ifdef CONFIG_HVM void paging_update_nestedmode(struct vcpu *v) {