It is only used by PV. The code can only be moved together with other
PV mm code.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
#include "../x86_64/mmconfig.h"
#include "emulate.h"
+#include "mm.h"
/* Override macros from asm/page.h to make them work with mfn_t */
#undef mfn_to_page
void init_guest_l4_table(l4_pgentry_t l4tab[], const struct domain *d,
bool zap_ro_mpt);
+int new_guest_cr3(mfn_t mfn);
+
/* Read a PV guest's l1e that maps this linear address. */
static inline l1_pgentry_t guest_get_eff_l1e(unsigned long linear)
{
#endif
-int new_guest_cr3(mfn_t mfn);
void make_cr3(struct vcpu *v, mfn_t mfn);
void update_cr3(struct vcpu *v);
int vcpu_destroy_pagetables(struct vcpu *);