#define p4d_val_ma(x)  ((x).p4d)
 #endif
 
-void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid);
-
 xmaddr_t arbitrary_virt_to_machine(void *address);
 unsigned long arbitrary_virt_to_mfn(void *vaddr);
 void make_lowmem_page_readonly(void *vaddr);
 
        return PagePinned(page);
 }
 
-void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid)
-{
-       struct multicall_space mcs;
-       struct mmu_update *u;
-
-       trace_xen_mmu_set_domain_pte(ptep, pteval, domid);
-
-       mcs = xen_mc_entry(sizeof(*u));
-       u = mcs.args;
-
-       /* ptep might be kmapped when using 32-bit HIGHPTE */
-       u->ptr = virt_to_machine(ptep).maddr;
-       u->val = pte_val_ma(pteval);
-
-       MULTI_mmu_update(mcs.mc, mcs.args, 1, NULL, domid);
-
-       xen_mc_issue(PARAVIRT_LAZY_MMU);
-}
-EXPORT_SYMBOL_GPL(xen_set_domain_pte);
-
 static void xen_extend_mmu_update(const struct mmu_update *update)
 {
        struct multicall_space mcs;
 
 DEFINE_XEN_MMU_SET_PTE(xen_mmu_set_pte);
 DEFINE_XEN_MMU_SET_PTE(xen_mmu_set_pte_atomic);
 
-TRACE_EVENT(xen_mmu_set_domain_pte,
-           TP_PROTO(pte_t *ptep, pte_t pteval, unsigned domid),
-           TP_ARGS(ptep, pteval, domid),
-           TP_STRUCT__entry(
-                   __field(pte_t *, ptep)
-                   __field(pteval_t, pteval)
-                   __field(unsigned, domid)
-                   ),
-           TP_fast_assign(__entry->ptep = ptep;
-                          __entry->pteval = pteval.pte;
-                          __entry->domid = domid),
-           TP_printk("ptep %p pteval %0*llx (raw %0*llx) domid %u",
-                     __entry->ptep,
-                     (int)sizeof(pteval_t) * 2, (unsigned long long)pte_val(native_make_pte(__entry->pteval)),
-                     (int)sizeof(pteval_t) * 2, (unsigned long long)__entry->pteval,
-                     __entry->domid)
-       );
-
 TRACE_EVENT(xen_mmu_set_pte_at,
            TP_PROTO(struct mm_struct *mm, unsigned long addr,
                     pte_t *ptep, pte_t pteval),