What is the meaning of the comment above forget_pte? It's a void
function, so there's no value returned. Is this obsoleted
documentation? It doesn't seem like it could be talking about the
"return" value from pte_none.
/*
* 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:
ecashin@uga.edu | http://noserose.net/e/pgp/
--
Kernelnewbies: Help each other learn about the Linux kernel.
Archive: http://mail.nl.linux.org/kernelnewbies/
FAQ: http://kernelnewbies.org/faq/
