Note that microeconomic analysis does not assume additive utility, nor does it assume any interpersonal utility tradeoffs. Efficiency, therefore, refers to the absence of Pareto improvements. It does not in any way opine on the fairness of the allocation (in the sense of distributive justice or equity). An efficient equilibrium could be one where one player has all the goods and other players have none (in an extreme example), which is efficient in the sense that one may not be able to find a Pareto improvement - which makes all players (including the one with everything in this case) better off (for a strict Pareto improvement), or not worse off.