IPXIPGW-4.01-42: Gateway user license count is maximum_licensed_users.
Source: IPXIPGW-4.02
Explanation: The maximum licensed users indicates the current license user count. This message is informational.