Hi,
On 25/05/17 21:44, Stefano Stabellini wrote:
> On Thu, 25 May 2017, Julien Grall wrote:
>> On 25/05/2017 19:55, Stefano Stabellini wrote:
>>> On Wed, 24 May 2017, Andre Przywara wrote:
Hi,
On 24/05/17 10:56, Julien Grall wrote:
> Hi Andre,
>
> On 05/24/2017 10:10 AM,
On Thu, 25 May 2017, Julien Grall wrote:
> On 25/05/2017 19:55, Stefano Stabellini wrote:
> > On Wed, 24 May 2017, Andre Przywara wrote:
> > > Hi,
> > >
> > > On 24/05/17 10:56, Julien Grall wrote:
> > > > Hi Andre,
> > > >
> > > > On 05/24/2017 10:10 AM, Andre Przywara wrote:
> > > > > On 17/05/
On 25/05/2017 19:55, Stefano Stabellini wrote:
On Wed, 24 May 2017, Andre Przywara wrote:
Hi,
On 24/05/17 10:56, Julien Grall wrote:
Hi Andre,
On 05/24/2017 10:10 AM, Andre Przywara wrote:
On 17/05/17 19:07, Julien Grall wrote:
/*
* Lookup the address of the Interrupt Translation Table
On Wed, 24 May 2017, Andre Przywara wrote:
> Hi,
>
> On 24/05/17 10:56, Julien Grall wrote:
> > Hi Andre,
> >
> > On 05/24/2017 10:10 AM, Andre Przywara wrote:
> >> On 17/05/17 19:07, Julien Grall wrote:
> /*
> * Lookup the address of the Interrupt Translation Table associated
>
Hi,
On 24/05/17 10:56, Julien Grall wrote:
> Hi Andre,
>
> On 05/24/2017 10:10 AM, Andre Przywara wrote:
>> On 17/05/17 19:07, Julien Grall wrote:
/*
* Lookup the address of the Interrupt Translation Table associated
with
* that device ID.
@@ -414,6 +429,133 @@ out_u
Hi Andre,
On 05/24/2017 10:10 AM, Andre Przywara wrote:
On 17/05/17 19:07, Julien Grall wrote:
/*
* Lookup the address of the Interrupt Translation Table associated with
* that device ID.
@@ -414,6 +429,133 @@ out_unlock:
return ret;
}
+/* Must be called with the ITS lock held. */
+
Hi,
On 17/05/17 19:07, Julien Grall wrote:
> Hi Andre,
>
> On 11/05/17 18:53, Andre Przywara wrote:
>> The MAPD command maps a device by associating a memory region for
>> storing ITEs with a certain device ID. Since it features a valid bit,
>> MAPD also covers the "unmap" functionality, which we
Hi Andre,
On 11/05/17 18:53, Andre Przywara wrote:
The MAPD command maps a device by associating a memory region for
storing ITEs with a certain device ID. Since it features a valid bit,
MAPD also covers the "unmap" functionality, which we also cover here.
We store the given guest physical addre
The MAPD command maps a device by associating a memory region for
storing ITEs with a certain device ID. Since it features a valid bit,
MAPD also covers the "unmap" functionality, which we also cover here.
We store the given guest physical address in the device table, and, if
this command comes fro
