Re: Building assigned device guest dt node from host device tree ...

2015-09-01 Thread Eric Auger
Hi Alex, On 09/01/2015 07:00 PM, Alexander Graf wrote: > > >> Am 01.09.2015 um 17:29 schrieb Eric Auger : >> >> Dear all, >> >> I am currently investigating the usage of sysfs to retrieve info from >> the host device tree to build guest dt node for assigned devices (just

Re: [RFC PATCH v3 0/3] vfio: platform: return device properties for a platform device

2015-09-01 Thread Eric Auger
On 08/31/2015 07:33 PM, Christoffer Dall wrote: > On Mon, Aug 31, 2015 at 07:02:15PM +0200, Eric Auger wrote: >> Hi Christoffer, >> On 08/30/2015 04:06 PM, Christoffer Dall wrote: >>> Hi Eric, >>> >>> On Thu, Aug 27, 2015 at 07:16:00PM +0200, Eric Auger wrote: Hi Alex, On 08/27/2015

Re: [RFC PATCH v3 0/3] vfio: platform: return device properties for a platform device

2015-09-01 Thread Christoffer Dall
Hi Eric, On Tue, Sep 01, 2015 at 09:31:56AM +0200, Eric Auger wrote: [...] > >>> Can you reiterate why QEMU and VFIO don't already have the information > >>> necessary to setup resources and present a DT to the guest that the > >>> guest can use? > >> A vfio-platform driver was bound to the

Re: [PATCH 3/3] KVM: arm64: Implement accessors for vGIC CPU interface registers

2015-09-01 Thread Christoffer Dall
On Tue, Sep 01, 2015 at 04:09:18PM +0300, Pavel Fedin wrote: > Hello! > > > Have you thought about proper locking/serializing of access to the GIC > > state in these accessor functions? > > I am in the process of rewriting the whole thing, and i came to this point. > What kind of locking

Re: [RFC PATCH v3 0/3] vfio: platform: return device properties for a platform device

2015-09-01 Thread Baptiste Reynal
Hi everyone, The usefullness of this patch has already been discussed during the first releases (http://lists.linuxfoundation.org/pipermail/iommu/2014-August/009586.html). I underline the fact that it avoids implementing the logic on the userspace program, as VFIO can be used for many usage

Re: [RFC PATCH v3 0/3] vfio: platform: return device properties for a platform device

2015-09-01 Thread Christoffer Dall
On Tue, Sep 01, 2015 at 05:32:21PM +0200, Baptiste Reynal wrote: > Hi everyone, > > The usefullness of this patch has already been discussed during the > first releases > (http://lists.linuxfoundation.org/pipermail/iommu/2014-August/009586.html). > I underline the fact that it avoids

Re: Building assigned device guest dt node from host device tree ...

2015-09-01 Thread Peter Maydell
On 1 September 2015 at 16:29, Eric Auger wrote: > - the device directory can be somewhere in /sys/devices/platform, ie. > can be in sub-directories. The first difficulty is to locate it. Do you > know any C routing doing find-file matching a file name pattern? Didn't > find