pub const ARM64_PCR_RESERVED_MASK: u32 = 4095u32;