145 				   uctx->vm_info.asid);  in rem_um_region()
781 					   uctx->vm_info.asid);  in vm_set_prot()
881 	uint32_t asid = asid_alloc();  in vm_info_init()  local
883 	if (!asid) {  in vm_info_init()
891 	uctx->vm_info.asid = asid;  in vm_info_init()
1080 	if (!uctx->vm_info.asid)  in vm_info_final()
1087 	tlbi_asid(uctx->vm_info.asid);  in vm_info_final()
1089 	asid_free(uctx->vm_info.asid);  in vm_info_final()
1090 	uctx->vm_info.asid = 0;  in vm_info_final()