Constant TSS2_BASE_RC_NOT_PERMITTED 

pub const TSS2_BASE_RC_NOT_PERMITTED: u32 = 12;