PTL_WRITABLE 48 boot/arch/riscv64/include/arch/mm.h #define PTL_WRITABLE (1 << 2) PTL_WRITABLE 43 kernel/arch/amd64/include/arch/mm/ptl.h #define PTL_WRITABLE (1 << 1)