virtualization.lists.linux-foundation.org archive mirror
 help / color / mirror / Atom feed
From: Arnd Bergmann <arnd@arndb.de>
To: linux-arm-kernel@lists.infradead.org
Cc: "xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>,
	"linaro-dev@lists.linaro.org" <linaro-dev@lists.linaro.org>,
	Ian Campbell <Ian.Campbell@citrix.com>,
	Pawel Moll <Pawel.Moll@arm.com>,
	Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>,
	Catalin Marinas <catalin.marinas@arm.com>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	"virtualization@lists.linux-foundation.org"
	<virtualization@lists.linux-foundation.org>,
	"android-virt@lists.cs.columbia.edu"
	<android-virt@lists.cs.columbia.edu>,
	"kvm@vger.kernel.org" <kvm@vger.kernel.org>,
	"embeddedxen-devel@lists.sourceforge.net"
	<embeddedxen-devel@lists.sourceforge.net>
Subject: Re: [Android-virt] [Embeddedxen-devel] [Xen-devel] [ANNOUNCE] Xen port to Cortex-A15 / ARMv7 with virt extensions
Date: Thu, 1 Dec 2011 16:44:40 +0000	[thread overview]
Message-ID: <201112011644.41101.arnd@arndb.de> (raw)
In-Reply-To: <20111201160241.GH27394@arm.com>

On Thursday 01 December 2011, Catalin Marinas wrote:
> On Thu, Dec 01, 2011 at 03:42:19PM +0000, Arnd Bergmann wrote:
> > On Thursday 01 December 2011, Catalin Marinas wrote:
> > How do you deal with signed integer arguments passed into SVC or HVC from
> > a caller? If I understand the architecture correctly, the upper
> > halves of the argument register end up zero-padded, while the callee
> > expects sign-extension.
> 
> If you treat it as an "int" (32-bit) and function prototype defined
> accordingly, then the generated code only accesses it as a W (rather
> than X) register and the top 32-bit part is ignored (no need for
> sign-extension). If it is defined as a "long" in the 32-bit world, then
> it indeed needs explicit conversion given the different sizes for long
> (for example sys_lseek, the second argument is a 'long' and we do
> explicit sign extension in the wrapper).

Ok, so it's actually different from most other 64 bit architectures, which
normally operate on 64-bit registers and expect the caller to do the
correct sign-extension.

Doing the sign-extension for long arguments then falls into the same
category as long long and unsigned long long arguments, which also need
a wrapper, as you mentioned. Strictly speaking, we only need to do it
for those where the long argument has a meaning outside of the 0..2^31
range, e.g. io_submit can only take small positive numbers although
the type is 'long'.

What about unsigned long and pointer? Can we always rely on the upper
half of the register to be zero-filled when we get an exception from 32
bit into 64 bit state, or do we also have to zero-extend those?

	Arnd

  reply	other threads:[~2011-12-01 16:44 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-29 14:53 [ANNOUNCE] Xen port to Cortex-A15 / ARMv7 with virt extensions Stefano Stabellini
2011-11-29 21:29 ` Arnd Bergmann
     [not found] ` <201111292129.20444.arnd@arndb.de>
2011-11-30  4:42   ` Anup Patel
2011-11-30 11:39   ` Stefano Stabellini
2011-11-30 13:03     ` Arnd Bergmann
     [not found]     ` <201111301303.23851.arnd@arndb.de>
2011-11-30 13:25       ` [Xen-devel] " Ian Campbell
     [not found]       ` <1322659535.31810.97.camel@zakaz.uk.xensource.com>
2011-11-30 14:32         ` Arnd Bergmann
     [not found]         ` <201111301432.54463.arnd@arndb.de>
2011-11-30 14:51           ` Pawel Moll
2011-11-30 16:27           ` Ian Campbell
2011-11-30 18:15             ` Arnd Bergmann
     [not found]             ` <201111301815.01297.arnd@arndb.de>
2011-11-30 18:32               ` [Embeddedxen-devel] " Stefano Stabellini
2011-12-01 10:26                 ` Ian Campbell
2011-12-01 15:10                   ` [Android-virt] " Catalin Marinas
2011-12-01 15:12                   ` Stefano Stabellini
     [not found]                   ` <20111201151043.GG27394@arm.com>
2011-12-01 15:42                     ` [Android-virt] " Arnd Bergmann
2011-12-01 16:02                       ` Catalin Marinas
2011-12-01 16:44                         ` Arnd Bergmann [this message]
2011-12-01 16:57                           ` Catalin Marinas
2011-12-01 15:52                     ` Ian Campbell
2011-12-01 10:34               ` Ian Campbell
2011-11-30 14:11     ` Catalin Marinas
     [not found]     ` <CAHkRjk48jHO19H04rf8252+v04hk9qSdKBrfYCqJsZyamVhMEw@mail.gmail.com>
2011-11-30 14:20       ` Stefano Stabellini
     [not found]   ` <CAAhSdy3F1oUQP=f_Tig4_MnufwPRpNooZYW8_cSTAse7aOaDoA@mail.gmail.com>
2011-11-30 11:41     ` Stefano Stabellini

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=201112011644.41101.arnd@arndb.de \
    --to=arnd@arndb.de \
    --cc=Ian.Campbell@citrix.com \
    --cc=Pawel.Moll@arm.com \
    --cc=Stefano.Stabellini@eu.citrix.com \
    --cc=android-virt@lists.cs.columbia.edu \
    --cc=catalin.marinas@arm.com \
    --cc=embeddedxen-devel@lists.sourceforge.net \
    --cc=kvm@vger.kernel.org \
    --cc=linaro-dev@lists.linaro.org \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=virtualization@lists.linux-foundation.org \
    --cc=xen-devel@lists.xensource.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).