void flush_tlb_mm_skas(struct mm_struct *mm) { flush_tlb_kernel_vm_skas(); fix_range(mm, 0, host_task_size, 0); }
void flush_tlb_kernel_vm(void) { CHOOSE_MODE(flush_tlb_kernel_vm_tt(), flush_tlb_kernel_vm_skas()); }