There is ongoing to work to allow support for counted looping (including a working patchset that is under review) but in general it's true that an eBPF program

There is ongoing to work to allow support for counted looping (including a working patchset that is under review) but in general it's true that an eBPF program does not allow a given segment of code to have multiple entry points (a generalization of the prior rule that jumps may only jump forward in the instruction stream).