Constant CCODE::FACILITY_TPM_SERVICES

pub const FACILITY_TPM_SERVICES: u32 = 40;