87 	dsb(ishst);  in __kvm_tlb_flush_vmid_ipa()
106 	dsb(ish);  in __kvm_tlb_flush_vmid_ipa()
108 	dsb(ish);  in __kvm_tlb_flush_vmid_ipa()
119 	dsb(nshst);  in __kvm_tlb_flush_vmid_ipa_nsh()
138 	dsb(nsh);  in __kvm_tlb_flush_vmid_ipa_nsh()
140 	dsb(nsh);  in __kvm_tlb_flush_vmid_ipa_nsh()
159 	dsb(ishst);  in __kvm_tlb_flush_vmid_range()
166 	dsb(ish);  in __kvm_tlb_flush_vmid_range()
168 	dsb(ish);  in __kvm_tlb_flush_vmid_range()
178 	dsb(ishst);  in __kvm_tlb_flush_vmid()
184 	dsb(ish);  in __kvm_tlb_flush_vmid()
199 	dsb(nsh);  in __kvm_flush_cpu_context()
207 	dsb(ishst);  in __kvm_flush_vm_context()
222 	dsb(ish);  in __kvm_flush_vm_context()