migrate_flush_tlb_page
extern void migrate_flush_tlb_page(struct vm_area_struct *vma,
migrate_flush_tlb_page(vma, addr);