On Thu, Feb 22, 2018 at 04:11:38PM +0100, Andrew Jones wrote:
>
> Hi Christoffer,
>
> I'm just pointing out some broken lines that we could maybe cheat the
> 80-char limit on. Naturally feel free to ignore.
Thanks. I'll go over them as I respin.
-Christoffer
Hi Christoffer,
I'm just pointing out some broken lines that we could maybe cheat the
80-char limit on. Naturally feel free to ignore.
On Thu, Feb 15, 2018 at 10:03:16PM +0100, Christoffer Dall wrote:
> From: Christoffer Dall
>
> Currently we access the system registers
On Thu, Feb 22, 2018 at 02:34:21PM +0100, Andrew Jones wrote:
> On Thu, Feb 15, 2018 at 10:03:16PM +0100, Christoffer Dall wrote:
> > From: Christoffer Dall
> >
> > Currently we access the system registers array via the vcpu_sys_reg()
> > macro. However, we are about to
On Thu, Feb 15, 2018 at 10:03:16PM +0100, Christoffer Dall wrote:
> From: Christoffer Dall
>
> Currently we access the system registers array via the vcpu_sys_reg()
> macro. However, we are about to change the behavior to some times
> modify the register file directly, so
On 22/02/18 11:10, Christoffer Dall wrote:
> On Thu, Feb 22, 2018 at 10:48:10AM +, Marc Zyngier wrote:
>> On Thu, 22 Feb 2018 09:22:37 +,
>> Christoffer Dall wrote:
>>>
>>> On Wed, Feb 21, 2018 at 01:32:45PM +, Marc Zyngier wrote:
On Thu, 15 Feb 2018 21:03:16 +,
On Thu, Feb 22, 2018 at 10:48:10AM +, Marc Zyngier wrote:
> On Thu, 22 Feb 2018 09:22:37 +,
> Christoffer Dall wrote:
> >
> > On Wed, Feb 21, 2018 at 01:32:45PM +, Marc Zyngier wrote:
> > > On Thu, 15 Feb 2018 21:03:16 +,
> > > Christoffer Dall wrote:
> > > >
> > > > From:
On Thu, 22 Feb 2018 09:22:37 +,
Christoffer Dall wrote:
>
> On Wed, Feb 21, 2018 at 01:32:45PM +, Marc Zyngier wrote:
> > On Thu, 15 Feb 2018 21:03:16 +,
> > Christoffer Dall wrote:
> > >
> > > From: Christoffer Dall
> > >
> > > Currently we access the system
On Mon, Feb 19, 2018 at 06:12:29PM +, Julien Grall wrote:
> Hi Christoffer,
>
> On 15/02/18 21:03, Christoffer Dall wrote:
> >From: Christoffer Dall
> >
> >Currently we access the system registers array via the vcpu_sys_reg()
> >macro. However, we are about to change
On Wed, Feb 21, 2018 at 01:32:45PM +, Marc Zyngier wrote:
> On Thu, 15 Feb 2018 21:03:16 +,
> Christoffer Dall wrote:
> >
> > From: Christoffer Dall
> >
> > Currently we access the system registers array via the vcpu_sys_reg()
> > macro. However, we are about to
On Thu, 15 Feb 2018 21:03:16 +,
Christoffer Dall wrote:
>
> From: Christoffer Dall
>
> Currently we access the system registers array via the vcpu_sys_reg()
> macro. However, we are about to change the behavior to some times
> modify the register file directly, so
Hi Christoffer,
On 15/02/18 21:03, Christoffer Dall wrote:
From: Christoffer Dall
Currently we access the system registers array via the vcpu_sys_reg()
macro. However, we are about to change the behavior to some times
modify the register file directly, so let's change
From: Christoffer Dall
Currently we access the system registers array via the vcpu_sys_reg()
macro. However, we are about to change the behavior to some times
modify the register file directly, so let's change this to two
primitives:
* Accessor macros
12 matches
Mail list logo