sbi_remote_sfence_vma_asid
int sbi_remote_sfence_vma_asid(const struct cpumask *cpu_mask,
EXPORT_SYMBOL(sbi_remote_sfence_vma_asid);
sbi_remote_sfence_vma_asid(cmask, start, size, asid);
sbi_remote_sfence_vma_asid(NULL, 0, FLUSH_TLB_MAX_SIZE, FLUSH_TLB_NO_ASID);