taglinefilesource code
pte_read208include/asm-alpha/pgtable.hextern inline int pte_read(pte_t pte)    { return !(pte_val(pte) & _PAGE_FOR); }
pte_read185include/asm-i386/pgtable.hextern inline int pte_read(pte_t pte)    { return pte_val(pte) & _PAGE_USER; }
pte_read201include/asm-mips/page.hextern inline int pte_read(pte_t pte)    { return pte_val(pte) & _PAGE_USER; }