comment for forget_pte

From: Ed L Cashin (ecashin@uga.edu)
Date: Mon May 19 2003 - 11:06:25 EST


Hi. The kernelnewbies list didn't answer, so I'm asking here. It's
not a big deal, but it might be a little documentation bug.
---------------

What is the meaning of the comment above forget_pte? It's a void
function, so there's no value returned.

/*
 * Return indicates whether a page was freed so caller can adjust rss
 */
static inline void forget_pte(pte_t page)
{
        if (!pte_none(page)) {
                printk("forget_pte: old mapping existed!\n");
                BUG();
        }
}

-- 
--Ed L Cashin     PGP public key: http://noserose.net/e/pgp/

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Fri May 23 2003 - 22:00:34 EST