pub const wcm_intf_property_hotspot_profile: WCM_PROPERTY;