PTE_FLAGS         191 kernel/vm.c        if(PTE_FLAGS(*pte) == PTE_V)
PTE_FLAGS         326 kernel/vm.c        flags = PTE_FLAGS(*pte);