pub const PCR_BTI_MITIGATION_VBAR_MASK: u32 = 15u32;