Constant fidl_fuchsia_hardware_tee::MAX_NUM_OF_THREAD_POOLS

pub const MAX_NUM_OF_THREAD_POOLS: u32 = 64;