Macros starting with `w' in osfmk/i386

• WRITE_PTE osfmk/i386/pmap.c:168
• WRITE_PTE_FAST osfmk/i386/pmap.c:169