Pin names can only ever be used once (in, out... doesn't matter)
You get around this with signals. Signals names can be used repeatedly as often as you like on different lines and different hal files, but each signal name can only ever be connected to one output pin, but as many input pins as you like.