From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 15513E77188 for ; Wed, 8 Jan 2025 16:09:25 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 975546B0088; Wed, 8 Jan 2025 11:09:24 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 925586B0089; Wed, 8 Jan 2025 11:09:24 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 79EF76B008A; Wed, 8 Jan 2025 11:09:24 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id 4A6EF6B0088 for ; Wed, 8 Jan 2025 11:09:24 -0500 (EST) Received: from smtpin12.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay09.hostedemail.com (Postfix) with ESMTP id B029A81321 for ; Wed, 8 Jan 2025 16:09:23 +0000 (UTC) X-FDA: 82984769406.12.4D3C36A Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by imf07.hostedemail.com (Postfix) with ESMTP id 056D64000B for ; Wed, 8 Jan 2025 16:09:20 +0000 (UTC) Authentication-Results: imf07.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b="LbaS4z/1"; spf=pass (imf07.hostedemail.com: domain of david@redhat.com designates 170.10.133.124 as permitted sender) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=none) header.from=redhat.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1736352561; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=s0rlDhIwvvVKAA/Z/ReGOUxjITf8M7mwn/BPJqxsGsg=; b=D9J8vV0d018ChGDVoDQj1HhrcTfTPhiKC9CZ4/i+G1vpLbkHmMF4B1SyTm3Bf5M+3/iMw0 FXMu1FaC0Ux19uWm3kA3/+TnyGml96YHnMxTSszvLWuJzFFJfEqLK+yr9eu3VsngMHAcI3 d85CeXfkDJN/2o7jDZEvD5Mt9m/ABFE= ARC-Authentication-Results: i=1; imf07.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b="LbaS4z/1"; spf=pass (imf07.hostedemail.com: domain of david@redhat.com designates 170.10.133.124 as permitted sender) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=none) header.from=redhat.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1736352561; a=rsa-sha256; cv=none; b=yMuFUBNVlgrMwOCRvBm2ZeF9T1JawTqjWawF/46nJcGZcDsOvKNY0mtvesm96BKcT4wYiZ ojFfesASyjPy3ITx4itfa2qADBlG3ybN2nqyK7nSBKeiBUv5DVkm0mF8mpkW8Lsihhz5yG b18K1R+Bwel+wXNbxVDGI7BsanyXW38= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1736352560; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=s0rlDhIwvvVKAA/Z/ReGOUxjITf8M7mwn/BPJqxsGsg=; b=LbaS4z/1oB4jM4LDfy2IamOYEnD5JX8u2xwtaqLPGa+8d27t/4c8Z8SchjBVJl+n7inkS1 ByVd9CwhKXJDB/taHQyA67eqm2om5Qr+GK8xGT8xlXVhlOpt0Dak0oWZJ8kZNriGeIeR+6 mmqk7VNWNm4FAU6t7DpTwQjO8kgDiLA= Received: from mail-wm1-f72.google.com (mail-wm1-f72.google.com [209.85.128.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-170-UyZVM0MYMW2ItfxhRDBJRg-1; Wed, 08 Jan 2025 11:09:19 -0500 X-MC-Unique: UyZVM0MYMW2ItfxhRDBJRg-1 X-Mimecast-MFC-AGG-ID: UyZVM0MYMW2ItfxhRDBJRg Received: by mail-wm1-f72.google.com with SMTP id 5b1f17b1804b1-4361ac607b6so87305e9.0 for ; Wed, 08 Jan 2025 08:09:19 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736352558; x=1736957358; h=content-transfer-encoding:in-reply-to:organization:autocrypt :content-language:from:references:cc:to:subject:user-agent :mime-version:date:message-id:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=s0rlDhIwvvVKAA/Z/ReGOUxjITf8M7mwn/BPJqxsGsg=; b=wEwT5lGcognts1ZXFbbEUzCsoTHKizQAD4kUQNQP/SPENESx5PaxGV7mEWbuWLRT35 r1ecYthap9G3R7v7JUG29s8y+iI3V0szqwsGnsbIhBBmlXpkJRitjV+lNf/STOnLjgNr q9g4uWxpfj+pwZVwh18XQ7c3fkhWQxw6SDAE3u7EfM3MXUiLAHlJ6duPSeXpy6RQiCNY xMw+vzll3yXk6R7gtVIMH/9Z8fis2pS50Fxa2xdv4TURpDZm3A5S13rdAb9ybWXWDdBz gas8trpEG0bPVwIKk2VqfFjgCfXS96ohaZPJIkCD6l7a8XaKnyKPrr71ck8x17wzjDVi nUdQ== X-Forwarded-Encrypted: i=1; AJvYcCUn4kdJtuv9WCqfQxCy4EX9E9tRCQJZxBsHdcD6axSrhGXSqwW9zfauZdYvbGqAgNe+z92rxpkAAg==@kvack.org X-Gm-Message-State: AOJu0YxMajPzf+eAaLxaCk61imVBqZFkwPLPR13ovwW33mnY5tya//76 ZrDAencJ5ns8+P23wsnBxnbFe2MRgWO7UxlV/R41/KvkAytSQAWM4qrwU/ut99nOud9tRmw3bGC GSeKAW0+O1Gf7hiNB8ux8hqMvV4Hdu3B1sRCBj377iusq0xY2 X-Gm-Gg: ASbGncvGIiPuMQFObxsUry17D/D4J1gRHg7UJ7RKq9kZksz6VbbvDlJxrD4U/JqKn/S nHmy2dH/EMUOwmlMTtDzRLsrYied0D/UJzl3pUnzva/ObqyEZ/Qo8pU8GaPTugqOVV4d2uZ7ghH IY+y7Hq9Zuc8hqT/qAkXAQgwO0Z0cNN6RmxBnDZXVgP7wc+DROwdTXkoNnCrdLyI72jK9tyGhll GTISD2iSiNWIZ/ZlcpOYu41fKHrVcZf55j6kg5F+soA8W1a9s8jSvLOU9gBsumYv7Gk+AEBjvQc eIQ4UNkjdlt6A2QZ6fV1ePRdp9fXQMDLzD/GCqfiyaDDhAsJBhmQ0V1s8j/iznRGva2N5kiT/X7 /c1gWaw== X-Received: by 2002:a05:600c:1d0c:b0:436:1bbe:f686 with SMTP id 5b1f17b1804b1-436e2707c59mr26526815e9.21.1736352557834; Wed, 08 Jan 2025 08:09:17 -0800 (PST) X-Google-Smtp-Source: AGHT+IHuW+kXE4dSP1dwStt7dtEmz7DMdPJOlNk4fca0pJWrMp44Izq0k2N2szKXrAfMK8IDoDv+jg== X-Received: by 2002:a05:600c:1d0c:b0:436:1bbe:f686 with SMTP id 5b1f17b1804b1-436e2707c59mr26526505e9.21.1736352557412; Wed, 08 Jan 2025 08:09:17 -0800 (PST) Received: from ?IPV6:2003:cb:c70d:3a00:d73c:6a8:ca9f:1df7? (p200300cbc70d3a00d73c06a8ca9f1df7.dip0.t-ipconnect.de. [2003:cb:c70d:3a00:d73c:6a8:ca9f:1df7]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-436e2df9f8bsm25473195e9.26.2025.01.08.08.09.14 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 08 Jan 2025 08:09:16 -0800 (PST) Message-ID: Date: Wed, 8 Jan 2025 17:09:13 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v2 1/1] KVM: arm64: Allow cacheable stage 2 mapping using VMA flags To: Jason Gunthorpe Cc: ankita@nvidia.com, maz@kernel.org, oliver.upton@linux.dev, joey.gouly@arm.com, suzuki.poulose@arm.com, yuzenghui@huawei.com, catalin.marinas@arm.com, will@kernel.org, ryan.roberts@arm.com, shahuang@redhat.com, lpieralisi@kernel.org, aniketa@nvidia.com, cjia@nvidia.com, kwankhede@nvidia.com, targupta@nvidia.com, vsethi@nvidia.com, acurrid@nvidia.com, apopple@nvidia.com, jhubbard@nvidia.com, danw@nvidia.com, zhiw@nvidia.com, mochs@nvidia.com, udhoke@nvidia.com, dnigam@nvidia.com, alex.williamson@redhat.com, sebastianene@google.com, coltonlewis@google.com, kevin.tian@intel.com, yi.l.liu@intel.com, ardb@kernel.org, akpm@linux-foundation.org, gshan@redhat.com, linux-mm@kvack.org, kvmarm@lists.linux.dev, kvm@vger.kernel.org, linux-kernel@vger.kernel.org, linux-arm-kernel@lists.infradead.org References: <20241118131958.4609-1-ankita@nvidia.com> <20241118131958.4609-2-ankita@nvidia.com> <20250106165159.GJ5556@nvidia.com> From: David Hildenbrand Autocrypt: addr=david@redhat.com; keydata= xsFNBFXLn5EBEAC+zYvAFJxCBY9Tr1xZgcESmxVNI/0ffzE/ZQOiHJl6mGkmA1R7/uUpiCjJ dBrn+lhhOYjjNefFQou6478faXE6o2AhmebqT4KiQoUQFV4R7y1KMEKoSyy8hQaK1umALTdL QZLQMzNE74ap+GDK0wnacPQFpcG1AE9RMq3aeErY5tujekBS32jfC/7AnH7I0v1v1TbbK3Gp XNeiN4QroO+5qaSr0ID2sz5jtBLRb15RMre27E1ImpaIv2Jw8NJgW0k/D1RyKCwaTsgRdwuK Kx/Y91XuSBdz0uOyU/S8kM1+ag0wvsGlpBVxRR/xw/E8M7TEwuCZQArqqTCmkG6HGcXFT0V9 PXFNNgV5jXMQRwU0O/ztJIQqsE5LsUomE//bLwzj9IVsaQpKDqW6TAPjcdBDPLHvriq7kGjt WhVhdl0qEYB8lkBEU7V2Yb+SYhmhpDrti9Fq1EsmhiHSkxJcGREoMK/63r9WLZYI3+4W2rAc UucZa4OT27U5ZISjNg3Ev0rxU5UH2/pT4wJCfxwocmqaRr6UYmrtZmND89X0KigoFD/XSeVv jwBRNjPAubK9/k5NoRrYqztM9W6sJqrH8+UWZ1Idd/DdmogJh0gNC0+N42Za9yBRURfIdKSb B3JfpUqcWwE7vUaYrHG1nw54pLUoPG6sAA7Mehl3nd4pZUALHwARAQABzSREYXZpZCBIaWxk ZW5icmFuZCA8ZGF2aWRAcmVkaGF0LmNvbT7CwZgEEwEIAEICGwMGCwkIBwMCBhUIAgkKCwQW AgMBAh4BAheAAhkBFiEEG9nKrXNcTDpGDfzKTd4Q9wD/g1oFAl8Ox4kFCRKpKXgACgkQTd4Q 9wD/g1oHcA//a6Tj7SBNjFNM1iNhWUo1lxAja0lpSodSnB2g4FCZ4R61SBR4l/psBL73xktp rDHrx4aSpwkRP6Epu6mLvhlfjmkRG4OynJ5HG1gfv7RJJfnUdUM1z5kdS8JBrOhMJS2c/gPf wv1TGRq2XdMPnfY2o0CxRqpcLkx4vBODvJGl2mQyJF/gPepdDfcT8/PY9BJ7FL6Hrq1gnAo4 3Iv9qV0JiT2wmZciNyYQhmA1V6dyTRiQ4YAc31zOo2IM+xisPzeSHgw3ONY/XhYvfZ9r7W1l pNQdc2G+o4Di9NPFHQQhDw3YTRR1opJaTlRDzxYxzU6ZnUUBghxt9cwUWTpfCktkMZiPSDGd KgQBjnweV2jw9UOTxjb4LXqDjmSNkjDdQUOU69jGMUXgihvo4zhYcMX8F5gWdRtMR7DzW/YE BgVcyxNkMIXoY1aYj6npHYiNQesQlqjU6azjbH70/SXKM5tNRplgW8TNprMDuntdvV9wNkFs 9TyM02V5aWxFfI42+aivc4KEw69SE9KXwC7FSf5wXzuTot97N9Phj/Z3+jx443jo2NR34XgF 89cct7wJMjOF7bBefo0fPPZQuIma0Zym71cP61OP/i11ahNye6HGKfxGCOcs5wW9kRQEk8P9 M/k2wt3mt/fCQnuP/mWutNPt95w9wSsUyATLmtNrwccz63XOwU0EVcufkQEQAOfX3n0g0fZz Bgm/S2zF/kxQKCEKP8ID+Vz8sy2GpDvveBq4H2Y34XWsT1zLJdvqPI4af4ZSMxuerWjXbVWb T6d4odQIG0fKx4F8NccDqbgHeZRNajXeeJ3R7gAzvWvQNLz4piHrO/B4tf8svmRBL0ZB5P5A 2uhdwLU3NZuK22zpNn4is87BPWF8HhY0L5fafgDMOqnf4guJVJPYNPhUFzXUbPqOKOkL8ojk CXxkOFHAbjstSK5Ca3fKquY3rdX3DNo+EL7FvAiw1mUtS+5GeYE+RMnDCsVFm/C7kY8c2d0G NWkB9pJM5+mnIoFNxy7YBcldYATVeOHoY4LyaUWNnAvFYWp08dHWfZo9WCiJMuTfgtH9tc75 7QanMVdPt6fDK8UUXIBLQ2TWr/sQKE9xtFuEmoQGlE1l6bGaDnnMLcYu+Asp3kDT0w4zYGsx 5r6XQVRH4+5N6eHZiaeYtFOujp5n+pjBaQK7wUUjDilPQ5QMzIuCL4YjVoylWiBNknvQWBXS lQCWmavOT9sttGQXdPCC5ynI+1ymZC1ORZKANLnRAb0NH/UCzcsstw2TAkFnMEbo9Zu9w7Kv AxBQXWeXhJI9XQssfrf4Gusdqx8nPEpfOqCtbbwJMATbHyqLt7/oz/5deGuwxgb65pWIzufa N7eop7uh+6bezi+rugUI+w6DABEBAAHCwXwEGAEIACYCGwwWIQQb2cqtc1xMOkYN/MpN3hD3 AP+DWgUCXw7HsgUJEqkpoQAKCRBN3hD3AP+DWrrpD/4qS3dyVRxDcDHIlmguXjC1Q5tZTwNB boaBTPHSy/Nksu0eY7x6HfQJ3xajVH32Ms6t1trDQmPx2iP5+7iDsb7OKAb5eOS8h+BEBDeq 3ecsQDv0fFJOA9ag5O3LLNk+3x3q7e0uo06XMaY7UHS341ozXUUI7wC7iKfoUTv03iO9El5f XpNMx/YrIMduZ2+nd9Di7o5+KIwlb2mAB9sTNHdMrXesX8eBL6T9b+MZJk+mZuPxKNVfEQMQ a5SxUEADIPQTPNvBewdeI80yeOCrN+Zzwy/Mrx9EPeu59Y5vSJOx/z6OUImD/GhX7Xvkt3kq Er5KTrJz3++B6SH9pum9PuoE/k+nntJkNMmQpR4MCBaV/J9gIOPGodDKnjdng+mXliF3Ptu6 3oxc2RCyGzTlxyMwuc2U5Q7KtUNTdDe8T0uE+9b8BLMVQDDfJjqY0VVqSUwImzTDLX9S4g/8 kC4HRcclk8hpyhY2jKGluZO0awwTIMgVEzmTyBphDg/Gx7dZU1Xf8HFuE+UZ5UDHDTnwgv7E th6RC9+WrhDNspZ9fJjKWRbveQgUFCpe1sa77LAw+XFrKmBHXp9ZVIe90RMe2tRL06BGiRZr jPrnvUsUUsjRoRNJjKKA/REq+sAnhkNPPZ/NNMjaZ5b8Tovi8C0tmxiCHaQYqj7G2rgnT0kt WNyWQQ== Organization: Red Hat In-Reply-To: <20250106165159.GJ5556@nvidia.com> X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: qSLkaqA_TAijSxYFxVYc-ZHrZ-g4HsjXpczPIC6igBg_1736352558 X-Mimecast-Originator: redhat.com Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Rspamd-Server: rspam05 X-Stat-Signature: 49nu7phxbtston8oi1iysnug1zptgh7g X-Rspamd-Queue-Id: 056D64000B X-Rspam-User: X-HE-Tag: 1736352560-880778 X-HE-Meta: U2FsdGVkX18D7clNrxvFpiSqlKokohupjQOs7dCkBkKpDFjbqipnhUPsFWJmrvXWaGUiB9ZAjOsRYaes61TCeg96ns0c2WQiC2WLaFvUl6CJun5DbF1+mTOFdL78FWsb6e042zDqMWr3npbrJ6FYTxEcH5t78C1f5UTl88MEcemYvpbTj3gjtwLSZYb9PN4/GxH5vZzZA8RBngNJBPaC0vSWK7vRt0x8hUiqoAG1hP44jeQmWPwmNPR4b8ndhawDrMIHONFDPg+KSNCa4fUbJOeXwRdjZdPsaSg0FtyBhTqp8DMolkvjXVCK82ft3kQ47R5fZFYGr1dykEqnJe11lH2g8YWs6PYriZhMLkbLIpSDkRLjsEeKjyCkT+4kj/SxS98lVkRHRiDr8F4oJSDbbH+V9dVDmKQNI9kCx+jdVIzq5G6wEAHwpN1VvKo/lN0xJTVmhxkbX15yw/GwxTegvyEVat0Mi+pDBEepCBxBCGBoPy/DAi3vI4Vxw/690L13NnqSrElNDFArcBFdECQ+gsi8HC2Cy9aX9laWWjvu2VjEcrecGVUKvPV7yHzrN2esRLthgRC4pfKgfCSCYTqvaDOAN7mbDLXBPQ3sQ5igKLnHdZF9uWE/qvLewuOeBzoFyyDB1t/c0iUD5vKQcmdEuhdJS9neKZFqGVuKFExq5l0aQ4e8n66hsikgCZyrajMUb5bjlQ5M6TeqIazjUuaoPDW9AQpXMRGspELpueDodeCRfWt2em0ArB2bGs50dj74uiZLNis3MGejrpN4aAmnlsHdULQi2fwS3wLviKMo6RRsAicbVXO/KJcYZ05GPFUzsHS3Mv5cYZBqmWT/eeAQZ1xF3HZxULp4LZBvDgWm2IvFvKKL3j9fZcW8dHQRI1efiByrpHdlFnu8vg4feJMskaBbSO2dloxLPfNx9m7efIJhAzCGu1CSnO2OEX3kCXb7hb4MRa1bNUuSzwQg7Xc RcT0NMp0 CA1fj1857G9BprAULSbSbK3bCPnc9nmukeFy9iGEWId+fxbm74Yn2f9CJ8noUwRRNmE1UxPZycGl0H1XNYqexvaYASxVGJ+t/9oBV1KL2fy4MWPpw/2GQgyXJfrp9I+R1NESiiKoAglxSeAabg+4kWKfgyPeLn8Su/kzWWS7k55C7eQE+9hMPjqS8DXnhOuIQ5Qmd/9ubGMoIWeCCBTeNASAYEzPMJ9n/swPNkwRFoiiHIdKeffh8eP166xLRFFZZDrMpgs7FtMQAptFYvjZRR7wkvbqYV+DvQY0TvMR6xrB9MuZC4waEzqvj0mOKAsTRaqzwBi0O4Bldirkpaal4Vo3ptB3FCMoBQb5lUgipP7/A5VrwN7yWI3ky0QN14SwZHgDGKVDrwAQjRj4m5gyFC84sTLnrolyQbzgmbUu5rMJz+Mk= X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: On 06.01.25 17:51, Jason Gunthorpe wrote: > On Fri, Dec 20, 2024 at 04:42:35PM +0100, David Hildenbrand wrote: >> On 18.11.24 14:19, ankita@nvidia.com wrote: >>> From: Ankit Agrawal >>> >>> Currently KVM determines if a VMA is pointing at IO memory by checking >>> pfn_is_map_memory(). However, the MM already gives us a way to tell what >>> kind of memory it is by inspecting the VMA. >> >> Do you primarily care about VM_PFNMAP/VM_MIXEDMAP VMAs, or also other VMA >> types? > > I think this is exclusively about allowing cachable memory inside a > VM_PFNMAP VMA (created by VFIO) remain cachable inside the guest VM. Thanks! > >>> This patch solves the problems where it is possible for the kernel to >>> have VMAs pointing at cachable memory without causing >>> pfn_is_map_memory() to be true, eg DAX memremap cases and CXL/pre-CXL >>> devices. This memory is now properly marked as cachable in KVM. >> >> Does this only imply in worse performance, or does this also affect >> correctness? I suspect performance is the problem, correct? > > Correctness. Things like atomics don't work on non-cachable mappings. Hah! This needs to be highlighted in the patch description. And maybe this even implies Fixes: etc? > >> Maybe one could just reject such cases (if KVM PFN lookup code not >> already rejects them, which might just be that case IIRC). > > At least VFIO enforces SHARED or it won't create the VMA. > > drivers/vfio/pci/vfio_pci_core.c: if ((vma->vm_flags & VM_SHARED) == 0) That makes a lot of sense for VFIO. > > This is pretty normal/essential for drivers.. > > Are you suggesting the VMA flags should be inspected more? > VM_SHARED/PFNMAP before allowing this? I was wondering if we can safely assume that "device PFNs" can only exist in VM_PFNMAP mappings. Then we can avoid all that pfn_valid() / pfn_is_map_memory() stuff for "obviously not device" memory. I tried to protoype, but have to give up for now; the code is too complicated to make quick progress :) -- Cheers, David / dhildenb