Re: [PATCH 1/6] ARM: add secure monitor handler to switch to non-secure state

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Marc,

On Thu, 23 May 2013 13:14:01 +0100, Marc Zyngier <marc.zyngier@xxxxxxx>
wrote:

> On 23/05/13 11:52, Albert ARIBAUD wrote:
> > Hi Andre,
> > 
> > On Mon,  6 May 2013 15:17:45 +0200, Andre Przywara
> > <andre.przywara@xxxxxxxxxx> wrote:
> > 
> >> A prerequisite for using virtualization is to be in HYP mode, which
> >> requires the CPU to be in non-secure state.
> >> Introduce a monitor handler routine which switches the CPU to
> >> non-secure state by setting the NS and associated bits.
> >> According to the ARM ARM this should not be done in SVC mode, so we
> > 
> > ARM *TRM*, I suspect. Also, as there are a lot of ARM TRMs, if there is
> > a more precise reference, please provide it.
> 
> I believe the ARM ARM (as in ARM Architecture Reference Manual) is the
> correct document here.
> 
> http://infocenter.arm.com/help/topic/com.arm.doc.ddi0406c/index.html

Well -- if you form the acronym, you do end with 'A R M' indeed, but
this is quite unfortunate, as 'ARM ARM' is redundant (as the acronym's
A already has ARM in it), confusion (as 'ARM' already bears a quite
established meaning) and ambiguous (as there are actually several
documents with the title of 'ARM<vXXX> Reference Manual' and which
would end up with the same acronym).

So if you don't want to use 'TRM' (which I can understand), then
at least please replace 'ARM ARM' with 'ARMv7-AR Reference Manual'.
Stating the DDI* reference is not a must, unless you want to specify
a given revision (but then I suggest adding it after 'Manual' too).

> Cheers,
> 
> 	M.

Amicalement,
-- 
Albert.
_______________________________________________
kvmarm mailing list
kvmarm@xxxxxxxxxxxxxxxxxxxxx
https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm




[Index of Archives]     [Linux KVM]     [Spice Development]     [Libvirt]     [Libvirt Users]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux