Function: batchQueueRestakedWithdrawal(uint256[] _validatorIds)

Queue a withdrawal of ETH from an EigenPod.

Inputs

• _validatorIds

  • Control: Fully controlled.

  • Constraints: No specific constraints.

  • Impact: Validator IDs for which restaked withdrawals need to be queued.

Branches and code coverage

Intended branches

• Calls IEtherFiNode(etherfiNode).queueRestakedWithdrawal() for each etherFiNode of the validator ID.

  Test coverage

Negative behavior

• N/A.

Function call analysis

• IEtherFiNode(etherfiNode).queueRestakedWithdrawal()

  • What is controllable? Not controllable.

  • If the return value is controllable, how is it used and how can it go wrong? Initiates the queuing of a restaked withdrawal in the EtherFiNode related to the given validator.

  • What happens if it reverts, reenters, or does other unusual control flow? If this call reverts, it might indicate an issue with the queuing process — no reentrancy scenario.