Messages in this thread | | | Date | Wed, 15 Nov 2000 14:19:16 +0100 | From | Andi Kleen <> | Subject | Re: Memory management bug |
| |
On Wed, Nov 15, 2000 at 01:39:13PM +0100, schwidefsky@de.ibm.com wrote: > +extern pte_t empty_bad_pte_table[]; > extern __inline__ void free_pte_fast(pte_t *pte) > { > + if (pte == empty_bad_pte_table) > + return;
I guess that should be BUG() instead of return, so that the callers can be fixed.
-Andi - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org Please read the FAQ at http://www.tux.org/lkml/
| |