Constant FACILITY_TPM_SERVICES 

pub const FACILITY_TPM_SERVICES: u32 = 40;