mmu.h #define PTE_FLAGS(pte) ((uint)(pte) & 0xFFF) - 野良プログラマーのCS日記

mmu.h
https://github.com/mit-pdos/xv6-public/blob/master/mmu.h#L101

#define PTE_FLAGS(pte)  ((uint)(pte) &  0xFFF)

PTE_FLAGSマクロは、pte(ページディテクトリエントリ、または、ページテーブルエントリ)に設定されている各種のパラメータ(Pフラグ、R/Wフラグ、U/Sフラグ、PWTフラグ、PCDフラグ、Aフラグ、Dフラグ)を取得します。
pte(32bit)のbit11-0に各種のパラメータが設定されているので、pteの値を0xFFFでマスク処理して、その値を取得しています。