On Fri, Jan 29, 2010 at 11:09 AM, Richard Earnshaw <rearnsha@arm.com> wrote: > In PR target/42894 rguenth said: >> Only RMs may set priority. > > I beg your pardon? Where in the docs does it say that? I don't know that, but it's been discussed many times on this list. Ciao! Steven