Re: [PATCH v3 2/4] powerpc: Fixes for CONFIG_PTE_64BIT for SMP support

2008-09-06 Thread Kumar Gala
On Sep 5, 2008, at 5:38 PM, Benjamin Herrenschmidt wrote: On Fri, 2008-09-05 at 14:44 -0500, Kumar Gala wrote: I also wonder if you should first ensure that the PTE is invalid and if not, clear it and flush the TLB page ... Or at least add a WARN_ON(pte_valid()) in case we get that wrong ...

Re: [PATCH v3 2/4] powerpc: Fixes for CONFIG_PTE_64BIT for SMP support

2008-09-05 Thread Kumar Gala
On Sep 3, 2008, at 10:12 PM, Benjamin Herrenschmidt wrote: On Wed, 2008-09-03 at 13:09 -0500, Kumar Gala wrote: There are some minor issues with support 64-bit PTEs on a 32-bit processor when dealing with SMP. * We need to order the stores in set_pte_at to make sure the flag word is

Re: [PATCH v3 2/4] powerpc: Fixes for CONFIG_PTE_64BIT for SMP support

2008-09-05 Thread Benjamin Herrenschmidt
On Fri, 2008-09-05 at 14:44 -0500, Kumar Gala wrote: I also wonder if you should first ensure that the PTE is invalid and if not, clear it and flush the TLB page ... Or at least add a WARN_ON(pte_valid()) in case we get that wrong ... I believe that's an issue since kmap_atomic() will

[PATCH v3 2/4] powerpc: Fixes for CONFIG_PTE_64BIT for SMP support

2008-09-03 Thread Kumar Gala
There are some minor issues with support 64-bit PTEs on a 32-bit processor when dealing with SMP. * We need to order the stores in set_pte_at to make sure the flag word is set second. * Change pte_clear to use pte_update so only the flag word is cleared Signed-off-by: Kumar Gala [EMAIL

Re: [PATCH v3 2/4] powerpc: Fixes for CONFIG_PTE_64BIT for SMP support

2008-09-03 Thread Benjamin Herrenschmidt
On Wed, 2008-09-03 at 13:09 -0500, Kumar Gala wrote: There are some minor issues with support 64-bit PTEs on a 32-bit processor when dealing with SMP. * We need to order the stores in set_pte_at to make sure the flag word is set second. * Change pte_clear to use pte_update so only the