25 	 *   CPUs, for which a dsb(DOMAIN-st) is what we need, DOMAIN  in __tlb_switch_to_guest()
31 	 *   registers out of context, for which dsb(nsh) is enough  in __tlb_switch_to_guest()
33 	 * The composition of these two barriers is a dsb(DOMAIN), and  in __tlb_switch_to_guest()
39 		dsb(nsh);  in __tlb_switch_to_guest()
41 		dsb(ish);  in __tlb_switch_to_guest()
103 	dsb(ish);  in __kvm_tlb_flush_vmid_ipa()
105 	dsb(ish);  in __kvm_tlb_flush_vmid_ipa()
133 	dsb(nsh);  in __kvm_tlb_flush_vmid_ipa_nsh()
135 	dsb(nsh);  in __kvm_tlb_flush_vmid_ipa_nsh()
159 	dsb(ish);  in __kvm_tlb_flush_vmid_range()
161 	dsb(ish);  in __kvm_tlb_flush_vmid_range()
175 	dsb(ish);  in __kvm_tlb_flush_vmid()
190 	dsb(nsh);  in __kvm_flush_cpu_context()
199 	dsb(ish);  in __kvm_flush_vm_context()
201 	dsb(ish);  in __kvm_flush_vm_context()