pub const PF_HP_LAZYSWAP: u32 = 0x0400_0000;