pub const PT_HP_CORE_KERNEL: u32 = PT_LOOS + 0x3; // 1_610_612_739u32