RE: [PATCH] set_pte() part 1 (was Re: [PATCH] ppc32: Wrong vaddr in flush_hash_one_pte())

[Luck, Tony]

>I've been over this a few times this afternoon and the patch looks
>correct.  Please test the build and boot of your platform, any build
>failures should be trivial typos and nothing major.

Builds (no new warnings) and boots on ia64.

-Tony