flush_tlb_one_user
PVOP_VCALL1(pv_ops, mmu.flush_tlb_one_user, addr);
void (*flush_tlb_one_user)(unsigned long addr);
void flush_tlb_one_user(unsigned long addr);
.mmu.flush_tlb_one_user = native_flush_tlb_one_user,
flush_tlb_one_user(addr);
flush_tlb_one_user(addr);
pv_ops.mmu.flush_tlb_one_user = xen_flush_tlb_one_user;