On Sep 7, 2012, at 9:59 AM, Scislowicz, Adam wrote: > My mistake, the last set of listed registers is in this case a list of > registers implicitly clobbered by the inline assembly. If I understand > correctly this pmap_copy_page() function is incompatible with preservation of > the frame pointer. Perhaps falling back on a non-optimized pmap_copy_page() > when DDB is enabled is the right course of action excepting an alternative > optimized implementation which preserves r31.
I've tweaked pmap_copy_page so that gcc is not aware of the use of r31.
